
False
Suppose a = 2 + 2. Suppose -3*r = 5*c + 29, -a*r - c = -0*r + 16. Let h be 13/3 - r/(-9). Which is smaller: h or 3?
3
Let m be (8 + 0)*(-36)/45. Is -5 < m?
False
Let y = 31 + -29. Which is smaller: y or 0.3?
0.3
Let q(f) = -f**2 + 2*f + 4. Suppose j = -0*j + 3. Let m be q(j). Let k be ((-15)/(-110))/((-3)/4). Which is smaller: k or m?
k
Let i = -2 - -5. Let k = -4 + i. Let h be (1/6)/((-17)/(-34)). Which is smaller: k or h?
k
Let q = -71/5 - -357/25. Let f = 9 + -10. Which is smaller: q or f?
f
Let f be ((-2)/(-6) - 0)*3. Let t = 6 + -4. Suppose t*u + 6 = 2*v, 0 = 2*v + 2*u + 1 + 1. Is f > v?
False
Suppose 0 = 4*a - 2*a + 32. Let y be a/(-14) - (-2 + 4). Which is smaller: y or -2?
-2
Suppose 6 = -l + 11. Is 6 < l?
False
Suppose l + 11 = -5*x, 10 = 4*l - 0*x + 2*x. Let q be 4/((-4)/(-8)*2). Suppose o + 2*o - 3 = 0, -4 = -l*s - q*o. Do s and 0 have the same value?
True
Let m = 171/4 - 43. Which is smaller: -1/3 or m?
-1/3
Let p(u) = 7*u**2 + 2*u + 4*u - 5*u - 4*u**2. Let l be p(-2). Is l equal to 10?
True
Suppose -4*b + c - 6*c = -663, 3*b = c + 483. Let s = -2752/17 + b. Which is smaller: -2 or s?
-2
Let i be (-1)/((0 + 3)/18). Let n be i/(-25)*(-25)/(-10). Is 0 greater than or equal to n?
False
Let y = -6 - -2. Let b = y - -2. Which is smaller: 0.2 or b?
b
Suppose 11 = -2*b - 3. Let r = b + 8. Let c be 1*(-6 + 0/r). Are c and -6 equal?
True
Let y = -15 - -19. Suppose -y*w = 3*m - 19, -3*m + 7*m - w = 0. Which is greater: m or -2/43?
m
Let t be (-4)/28 - 1/(-7). Which is smaller: t or 2/15?
t
Let t be 1/3 + (-85)/(-105) + 0. Which is smaller: t or 2?
t
Let u = 1 + -1.08. Let n = u - -0.28. Let i = 2 - 3. Which is bigger: i or n?
n
Suppose -5*o + 0 = -25. Let z be (-1)/o - (-17)/35. Let a = 1.8 + -1.8. Which is smaller: z or a?
a
Let z(r) = -r**2 - 9*r - 11. Let v be z(-8). Which is smaller: v or -2?
v
Let h be (3/(-6))/((-4)/(-8)). Is -5/16 smaller than h?
False
Suppose 5*w - 4*h = 27, -w + 2*h + 17 = 2*w. Is 1 less than or equal to w?
True
Suppose -4*h + 3 = 7. Let x = 1 + h. Suppose -5*o - 878 = -883. Which is bigger: x or o?
o
Let k = -4 + -0.7. Let d = k + 5. Let a = 0.3 - d. Is 2 bigger than a?
True
Let k = -0.3 - -0.2. Let i = k - 0. Let v = -0.79 - -0.69. Is v less than i?
False
Let w(f) = -12*f + 1. Let r be w(1). Let a be (-2)/6 - r/(-3). Suppose 0 = 16*s - 17 + 65. Which is smaller: s or a?
a
Let f = 7.25 - -0.45. Let u = -7 + f. Are u and -0.1 unequal?
True
Suppose 4*h - 5*x - 6 = -7*x, -3*h - 3*x + 12 = 0. Which is smaller: 1/69 or h?
h
Let x = -23 + 13. Let a be -2*(0 + -1 + 4). Let c be (-2)/x*a/(-2). Which is bigger: c or 2?
2
Suppose j - 5*x = 5*j - 31, 41 = 4*j - 5*x. Let a(g) = -g**2 + 0*g**2 + 8*g + 34 - 21. Let t be a(j). Which is bigger: t or 2?
t
Suppose -3*m = -5*t + 2*m + 30, 3*t + 2*m + 2 = 0. Are -1 and t nonequal?
True
Let g(c) = -4*c**2 - 4*c. Let r be g(-2). Is r less than -8?
False
Let f = 30 - 31. Which is greater: 2/185 or f?
2/185
Let v = -18.2 - -18. Are v and 2 non-equal?
True
Let c be 8/(-4)*6/(-4). Suppose 0*r = c*r + 6. Which is bigger: r or 3?
3
Suppose 2*d = -0*d + 2. Let r(t) = t - 3. Let m be r(3). Which is smaller: d or m?
m
Let z(x) = x + 9. Suppose 3*t + 37 = -t - 3*q, 23 = -2*t - 3*q. Let r be z(t). Suppose -2*a + 0*a = r. Is -2/5 < a?
False
Let n = 21 - 7. Let o = 14 - n. Is -1/3 > o?
False
Let t(j) = -j**3 - j**2 - 2. Let c be t(-2). Let z = c + -8. Let x be z/21 - (-12)/91. Which is smaller: x or -0.1?
x
Let f be 2/(-10) - 441/(-3255). Is f at least 1?
False
Let x = 2.01 - 0.01. Let c = -67/3 - -22. Is c at least as big as x?
False
Let v = 0 + -6. Which is smaller: v or 1/4?
v
Let d be (-13)/(-6) - 1/6. Suppose 3*w = -k, 5*k = -w - 27 - 1. Let s be (-1)/(1 - k/(-4)). Is d at most s?
True
Let a(i) = -i**3 + 4*i + 3. Let o be a(-2). Suppose -2*f = -5*x + 2*x - 16, 4*x + 18 = f. Is o >= f?
True
Let r(u) = u**3 + 2*u**2 + 2*u + 3. Let i be r(-3). Let c be 160/72 - 2/9. Let x be c/(-6) + 4/i. Is 0 smaller than x?
False
Suppose 0 = 3*g + g - 4. Let u = -39 + -33. Let q = -433/6 - u. Does g = q?
False
Let u be ((-4)/22)/(0 - (2 - 1)). Is -1 bigger than u?
False
Suppose 9*p = 4*p - 5. Let x be (p + 1)/(10 + -9). Which is greater: x or -9?
x
Let q(u) = -u - 5. Let i be (-8)/(-12) + 17/(-3). Let g be q(i). Let w be 35/(-60) - (-2)/8. Which is smaller: g or w?
w
Let v be (-1)/(-3) - 58/104. Let c = -1/39 + v. Which is smaller: 1 or c?
c
Let t = 2/9 - -4/9. Let k = 3 - 2. Does k = t?
False
Let z = -2/515 + 567/13390. Are z and -1 unequal?
True
Let s = 1/289 - 613/10115. Are s and 0 non-equal?
True
Let l be (-1 - -1)/(2/(-1 + -1)). Which is smaller: 2/31 or l?
l
Let z(q) = -q**2 - 12*q - 13. Let t be z(-10). Suppose k + k = -5*r + t, -28 = -4*k + 4*r. Let n = -3 + k. Are n and 0 equal?
False
Suppose -2*o - 8 = 0, -5*o + 0*o - 19 = y. Which is bigger: 2/3 or y?
y
Let d = 93 - 381/4. Is -2 equal to d?
False
Let m = 1265 - 8872/7. Are -3 and m nonequal?
True
Let b = -10 - -7. Let i(c) = c + c - 3 + 5. Let w be i(-2). Which is greater: w or b?
w
Let b = 13 + -19. Let m = 15 - 21. Is m less than b?
False
Suppose 4*a = -a + 10. Suppose 0 = -5*v + 3*v + a. Let c = 0.1 + -0.1. Is v smaller than c?
False
Let c = -123 + 859/7. Suppose 1 = 4*b - 39. Suppose 4*s - s + x = 6, -s - 3*x = -b. Are s and c unequal?
True
Let n = -0.85 + 0.8. Let w = -0.7 - -0.74. Let z = w + n. Which is greater: 1 or z?
1
Let m(j) = -j**3 + j**2 + 3*j - 2. Let l be m(2). Suppose l = -5*f + f + 20. Suppose 3*y = -2*y + f. Which is smaller: 2/9 or y?
2/9
Let p be (7 + -6)*1/(-4). Do 1 and p have different values?
True
Let p be (-18)/(-2) + (-3)/(-3). Suppose 2*i = 7 + 9. Let c be (3/p)/((-6)/i). Is c less than 1?
True
Let l = 11 + -8. Which is bigger: 22/5 or l?
22/5
Let g be (-4)/8*0/2. Suppose 5*f - 17 = 3. Suppose f*r = -3*u + 33, -4*r = -2*u + 2 - g. Do 8 and u have different values?
True
Let z be -5*(-12)/225*-6. Which is smaller: -2 or z?
-2
Let m be (-7)/9 - (-1 + 0). Suppose s = -0*s. Which is smaller: m or s?
s
Let x = -42 - -44. Let f(c) = 4*c**3 - c**2. Let a be f(1). Let q = a - 1. Do x and q have the same value?
True
Let b = 254/47 - 32619/235. Let h = 133 + b. Let o = 0.13 - -0.87. Is o greater than h?
True
Suppose 0 = -0*p + 2*p + 12. Let y be (-349)/(15/p - 0). Let g = y + -140. Is g at least as big as 1?
False
Let t be 90/429 - (-4)/26. Is t bigger than 1?
False
Suppose 0 = 5*b + 20 + 5. Let g = -23 - -20. Let i = g - b. Is 3 less than or equal to i?
False
Let n = -30 - -209/7. Let t be (-2)/6 + (0 - -1). Is t >= n?
True
Let j = -2 - -1. Let n be 6/3 - 1/j. Is 2 not equal to n?
True
Let w(n) = -n**2 - n + 1. Let z be w(0). Suppose -2*y + 1 = -z. Let c(q) = -q. Let s be c(-1). Is s <= y?
True
Let i = 3.12 - 0.12. Do -2/3 and i have the same value?
False
Let b = -1 - -2. Which is smaller: b or 1/5?
1/5
Let k = 15 + -12. Which is smaller: 0 or k?
0
Let d = 0.03 - 0.1. Let k = d + -8.93. Is k equal to -2/3?
False
Let g = -30719/15 + 2047. Which is smaller: 0 or g?
g
Let o = -3.87 + 4. Let i = -0.07 - o. Are i and 1 unequal?
True
Let i = 499/7 + -71. Let a(t) = t**2 + 4*t - 5. Let v be a(-5). Suppose v*z + 5 = 5*z. Which is smaller: i or z?
i
Suppose 4 = 4*j + 20. Let z be -1*2/j + -1. Which is smaller: z or 1/3?
z
Let z be (0 - 1) + (-1 - 5). Which is smaller: z or -25/3?
-25/3
Let n = 82 - 81.9. Is n bigger than -147?
True
Suppose 2*v = 7*v + 30. Which is smaller: 4/11 or v?
v
Let c = -14/1543 - 83084/26231. Is -2 <= c?
False
Let y = -0.9 - -1. Which is greater: 4 or y?
4
Let n be 1/3*(-2 + 5). Let t = 0 + n. Suppose -5*h - 3 = -13. Are h and t non-equal?
True
Let a be 1/(-1) - -5 - 5. Which is smaller: -4/3 or a?
-4/3
Let s = 6.3 - 0.3. Let h = s - 5. Is h > 3/7?
True
Let c = 22 + -23. Are c and -11 non-equal?
True
Let s(l) = 4 + 2*l - 1 - 4 - 2. Let c be s(2). Which is greater: 0.2 or c?
c
Let i be (1 - (-4 - -8)) + (-742)/(-246). Which is smaller: i or 0?
0
Let j(s) = -s**2 - 4*s + 3. Let q be j(-4). Suppose 3*u + k - 18 = 0, 22 = 4*u + k - 1. Suppose u*p = -q*y + 13, y + p - 5 = -p. Which is bigger: 2 or y?
2
Let g = -14 + -20. Let z be 1/10*g + 3. Which is greater: 1 or z?
1
Let b = 2/4775 - -38106/224425. Let x = b - 42/799. Which is smaller: 0 or x?
0
Let a(k) = -k**3 + 6*k**2 - 4*k - 3. Let l be a(5). Suppose -4