rue
Suppose 2*r + 2*z + 3 = 1, 5*z = -4*r - 1. Let t be r/14 - ((-64)/28 - 2). Do 3 and t have the same value?
False
Suppose 3*u - 16 = -2*a + 7*u, -a - 5*u + 29 = 0. Suppose 30 = -2*m + 4*m. Which is smaller: m or a?
a
Let p = 34 + -37.3. Let a = p + 3.4. Let q = -11 + -1. Which is greater: q or a?
a
Suppose -5*l = -4*l + 20. Let i be -3 + ((-64)/l + -1)*1. Which is greater: 0 or i?
0
Let h = 8275/11 - 753. Suppose 5*z + 2*b + 2 + 5 = 0, -2*b - 3 = z. Which is bigger: h or z?
h
Suppose -16*z = -11*z. Suppose k = -4*c + 25, z = 3*c + 13 - 1. Which is greater: k or 42?
42
Let s = -421 + 1264/3. Is s > -0.21?
True
Let h = -29 - -42. Let a = 41 + -28. Is h less than a?
False
Suppose -2*g + 70 = 5*s + 12, -5*g = -5*s - 75. Suppose -g = 4*z + 3*y, 2*z = -0*z + 5*y + 23. Let j = 25/8 + -19/6. Is j > z?
True
Let l = 21.83 - 19.83. Let b = 0.05 + 0.19. Is b at most as big as l?
True
Let j = -0.4 - -0.4. Is 8/11 at most as big as j?
False
Let h = 47.005 + -47. Let s = 0.055 - h. Let y be ((-1)/(6/8))/(-2). Which is greater: s or y?
y
Let p = 13 - 0. Let z = 233 - 232. Are z and p unequal?
True
Let t(b) = -29*b - 5. Let a be t(-2). Let x = a - 56. Which is bigger: x or -12/5?
-12/5
Let o(z) = -7*z**2 + 6*z - 3. Let s(l) = -l**2. Let c(v) = o(v) - 6*s(v). Let r be c(4). Suppose r*f = 9*f + 4. Which is bigger: f or -0.2?
-0.2
Let v = -2 + 1. Let c = -11.7 + 15. Let j = 2.9 - c. Which is bigger: j or v?
j
Suppose -5*r + c - 153 = 0, r = -2*r - 5*c - 75. Do r and -29 have the same value?
False
Let o = 1.635 + -2.055. Which is smaller: 0.7 or o?
o
Let x = -11 - -17. Suppose 2*b - 16 = 7*b + 4*t, -5*b + 12 = -3*t. Suppose -3*g + x - 3 = b. Is g greater than 1?
False
Let w(y) = 3*y**3 + 15*y**2 + 21*y + 1. Let r be w(-2). Which is greater: r or 7?
7
Let p(w) = w**2 + 6*w + 11. Let d be p(-5). Suppose 0 = d*n + 6. Is n <= -12/7?
False
Let j = -80 + 79. Is -5/44 >= j?
True
Let d = -88 + 94. Let a(n) = 3*n - 15. Let i be a(d). Which is greater: 7/2 or i?
7/2
Let t be ((-36)/16)/(15/(-80)*-1322). Which is bigger: t or -1?
t
Let b be (58/(-4))/((-25)/(-150)). Which is bigger: -74 or b?
-74
Let k = 1.6 - -4.4. Let g = -6 + k. Which is greater: -2 or g?
g
Suppose 0 = -12*a - 6*a + 90. Is 84/17 < a?
True
Let r = 5449/1311 - 96/23. Let c = 6/11 - 23/22. Is r < c?
False
Suppose 11*p - 8 = 7*p. Suppose w + 2*h + 2 = -1, -7 = w - p*h. Is -4 less than or equal to w?
False
Let o = -133687/4 - -33257. Which is bigger: -165 or o?
o
Let t be (-13 + 14)/((-2)/(-14)). Let x be -5 + 5 + -1 + (-1)/t. Which is smaller: x or 0?
x
Let m = -6 - -2. Let s be 1/(m*1 - 0). Let p = -725/942 - 10/157. Which is bigger: p or s?
s
Let o(g) = -g - 9 + 1 + 2*g. Let h be o(7). Which is bigger: -3 or h?
h
Suppose 42*p - 126 = 126. Which is smaller: 154/23 or p?
p
Let c = -0.004 - -2.904. Let m = c + -3. Which is smaller: -1.7 or m?
-1.7
Suppose 0 = 6*k - 3*k - 21. Suppose -2*f + 28 - k = 5*s, -5*s - 4*f + 27 = 0. Let a be (-5)/(-20) + s/(-4). Which is greater: -10 or a?
a
Let u be 1/(16/94) + 9/72. Suppose -u*o + 13 = 1. Does 2/3 = o?
False
Let y = 0.63 - -53.37. Let o = y - 54.2. Is 1.9 less than or equal to o?
False
Let y = -29 + 35. Let z be 3/y*(10 + 0). Suppose 4*q - 2*j + 21 = -q, -31 = z*q + 3*j. Which is smaller: q or -4?
q
Let u be -2 + (2 - 3/10). Suppose 26*k = 29*k. Is k bigger than u?
True
Let n = -2921 + 2922. Suppose -5*v - 50 = -2*h + h, 5*v = 0. Let a be -1 - ((-92)/h)/2. Is a at most n?
True
Suppose -468 = -237*x + 235*x + 3*r, -4*x + 972 = 3*r. Is 241 at least x?
True
Let p = -3/1510 + 3923/454510. Which is bigger: 0 or p?
p
Let m = -3 + 6. Let b be m + -2 + (-5 - 0). Let j be 51/34*(-4)/6 + -2. Is j < b?
False
Let g be (-20)/10 + ((-1)/(-1) - -4). Suppose 12 = -f - g*y, 2*f + 4 = -y - 0. Is f smaller than 1/38?
True
Let h = -181.8 - -182. Which is smaller: h or 28?
h
Let u(y) = 4 + 3*y + 7 - 4*y + 4. Let f be u(12). Which is bigger: f or -3?
f
Let j = -30 - -29.52. Let v = 0.28 + j. Which is smaller: v or 0.04?
v
Let p = -1.8 - -0.3. Let j = 2 + p. Let i = -5 - -7. Which is smaller: j or i?
j
Let t = 44.026 - 2.096. Let u = t - -0.07. Which is bigger: 0.1 or u?
u
Let a = 6.1 - 1.5. Let w = a - 1.6. Is w at least as big as -2/9?
True
Let n be 1/(1 - 0/4). Which is greater: n or -2?
n
Let i be (3/(-15)*4)/(-9 - -11). Do i and -364 have the same value?
False
Let b be 4/(-8)*1*-4. Suppose -5*t - 35 = -10*t - 5*p, 29 = 3*t + 5*p. Suppose 3*n = 5*a + 15 + 3, 2*n - t*a - 11 = 0. Which is smaller: n or b?
n
Let z = 68171/92 - 741. Which is smaller: 0 or z?
z
Let r(x) = x**2 + x + 1. Let g(j) = 5*j**2 - 15*j. Let d(p) = -g(p) + 4*r(p). Let h be d(15). Is 65 bigger than h?
True
Let p = 423 - 398. Is p < 1.7?
False
Let a(u) = -u**2 - 6*u + 10. Let k = 8 - 15. Let q be a(k). Let p be q/(-1) + 0 + 7. Does p = 4?
True
Let z = 23 + -28. Let v = z + 5. Are -2/11 and v unequal?
True
Let c be (-23760)/(-32)*((-14)/(-6) + -1). Let i be (-4)/(-18) + (-1606)/c. Is 0 equal to i?
False
Let k(c) = 7*c**3 - c**2 + c - 1. Let m be k(1). Let i = m + -3. Let u(g) = g**3 + 7*g**2 - 3*g - 50. Let v be u(-6). Are i and v unequal?
True
Let b be (-36)/(-195)*(-20)/88. Let f be (-178)/2574 + 6 + -7. Let a = f + b. Is 0 smaller than a?
False
Let f(a) = -a**3 - 8*a**2 + 3*a + 6. Let n be f(-7). Let p be n/260 + (-2)/13. Let i = 62 + -432/7. Which is smaller: i or p?
p
Let i(s) = -2*s**2 + 8*s - 10. Let r(q) = 3*q**2 - 9*q + 10. Let a(c) = -4*i(c) - 3*r(c). Let t be a(-5). Let z be (-8)/(-20) - 8/t. Which is smaller: 0 or z?
z
Let w be ((-8)/3)/((-2)/48). Let z = 2223 + -2160. Is w != z?
True
Let k be (-33)/45 - 1/(-3). Let m = 0.2 + 3.8. Let w = 3.95 - m. Is w at most k?
False
Suppose 0 = 5*t + 3*v + 67, 2*v = -1 + 3. Suppose 14 + 106 = -6*b. Let j = b - t. Which is smaller: j or -5?
j
Let m be ((-28)/42)/(2/9). Let c = -4 - m. Let n = 16/11 - 69/55. Which is smaller: c or n?
c
Suppose 3*c = 2*y + 24, 0 = -4*c + y - 0*y + 27. Suppose c*v = 4*v - 16. Let t be -2*((-16)/4)/v. Is t >= -1/2?
False
Suppose -2*g - 9 = q, -27 = q + g - 17. Let j(m) = m**2 + 5*m - 1. Let p be j(-6). Suppose 6*v - 5*b = v - 35, -p*b - 55 = 4*v. Is v >= q?
True
Let t = -371.31516 - -0.13516. Let y = 378 + t. Let c = y + 0.18. Are 1/4 and c nonequal?
True
Let t(s) = s**2 + 12*s + 7. Let g be t(-4). Let a = g - -32. Which is smaller: a or 5?
5
Suppose -s + 5 + 0 = 0. Let q = -1 - s. Suppose 5*h = 2*h - 15. Is q smaller than h?
True
Let g(v) be the first derivative of v**3/3 + 3*v**2 - 4*v + 27. Let r be g(-7). Which is greater: r or 25/7?
25/7
Let i = 130.37 + 34.53. Let d = i + -165. Suppose 5 = -7*t + 2*t. Is t less than d?
True
Let m(o) = -10*o - 102. Let g(u) = -19 - 22 + 0*u + 0*u - 4*u. Let n(c) = -12*g(c) + 5*m(c). Let v be n(-9). Which is greater: v or -1?
v
Suppose 17 = -2*h - 5*z, -z = -h + 1 - 6. Which is bigger: h or -13/2?
h
Suppose -h - 4*h - 5 = 0. Let k = -4981/780 + 65/12. Let p = 10/13 + k. Which is smaller: h or p?
h
Let j = -71 + 31. Let a be 27/(-15)*j/12. Suppose -2*s - 5*y = 22, -4*s + 6 + a = -4*y. Is s at least as big as 0?
False
Suppose -3*s = -7*s - 56. Let h = s + 7. Let p be 2/3*21/h. Is -10/9 at least p?
True
Suppose 0 = -z + 6*z - 45. Let d = 397 - 264. Let i = d + -133.1. Do z and i have different values?
True
Let s = -127 + 279/2. Is s != 12?
True
Let m = 67 + -157. Let a be (22/m - -1) + 1/(-5). Is a greater than or equal to 0?
True
Let m = 149 - -65. Is m > 214?
False
Let o(a) = -2*a**2 + 5*a + 3. Let p be o(4). Let v be (-4)/18*(p + 0). Let s be (-1 - 3/v)/2. Which is smaller: s or -1?
s
Let a(w) = -w**2 + 3*w - 1. Let u = 10 - 8. Let m be a(u). Let i be m*(0/(-3))/(-2). Is i <= 0?
True
Suppose 2*y - 166 = -4*h, y + 215 = 5*h + 2*y. Which is greater: 37 or h?
h
Let s = 659 + -204. Let m = s + -5465/12. Which is bigger: m or 1?
1
Suppose -q + 2*u - 2 + 8 = 0, u + 3 = 0. Let i = 365/13 + -3916/39. Let y = 73 + i. Which is smaller: y or q?
q
Let i(n) = -n**2 - 11*n + 6. Let x be i(-12). Does -8 = x?
False
Let z = -277 + 285. Let y(o) = -o + 1. Let f be y(-6). Is f >= z?
False
Let h = 3/71 + 26/1065. Let n be (-2*1)/((-4)/2). Which is greater: h or n?
n
Let j(g) = g**2 - 16*g + 19. Let o be j(15). Suppose 3 = -0*c + 3*c. Let n be c - (-2)/(0 - 2). Is n less than o?
True
Let t = -379 + 379. Let y = 736/17