. Suppose z = r*z + 24. Which is bigger: 1/3 or z?
1/3
Let b = -525.89 - -528. Let j = b - 0.11. Let q be -6 + 6 + (-1 - -6). Which is smaller: q or j?
j
Let m = -113 - -421. Which is greater: 1 or m?
m
Let q = -2664 + 2502. Is -162 at least as big as q?
True
Let t(d) = -d**2 - 16*d - 30. Let s be t(-14). Let z be s/17 + 1 + 30/(-34). Which is greater: -5/14 or z?
z
Suppose 0 = -y - m - m + 140, 2*y = m + 265. Let b = y + -129. Which is smaller: 84/13 or b?
b
Let d be 3/(18/2) + 310/15. Let o = 22 - d. Let t = 209/5 + -626/15. Which is bigger: o or t?
o
Let m(g) = 13 - 32 + g + 3 + 5. Let x be m(-20). Is -31 < x?
False
Let i = -5 - -7. Suppose -3*p - i = -4*p. Suppose -3*b = -p*b. Which is greater: b or -3/5?
b
Let c = 0.32 + 20.68. Let s = -23 + c. Let d = s - -1.3. Which is bigger: -2 or d?
d
Let c be (-10)/35 - 93/(-350). Let s = c + 3/25. Which is greater: s or -1?
s
Let j = -55.1 - -55. Let v(r) = -2*r - 6 + 3*r + r. Let w be v(14). Are j and w equal?
False
Let g = -19/3 + 17/3. Let o = 3.269 + 0.031. Let u = o - 1.3. Are u and g unequal?
True
Let p = 2063 - 2418. Which is bigger: -356 or p?
p
Let t(n) = -5*n**2 - 2*n - 2. Let x be t(-1). Let f(q) = q**2 + 5*q + 2. Let w be f(-3). Let s be -1*4 - (6 + w). Is s at most as big as x?
True
Suppose 3 = -3*g - 2*m + 3*m, 0 = -4*m + 12. Suppose g = -3*n - 12, 0*n - 5*n = -2*c + 4. Is c smaller than 0?
True
Suppose 0 = -2*p + 17 + 5. Let m = p + -6. Is -1 less than or equal to m?
True
Let x be 4/(-73 + 24 + -13). Suppose -4*j = j - c + 3, 5*j - 4*c = -12. Is j at most as big as x?
False
Let d = 588 - 589. Let r = -157 + 169.3. Let i = r + -13. Does i = d?
False
Let x = -15 + 33. Let t = 5 + -22. Let w = t + x. Is 1 greater than w?
False
Let q be 21 - 10 - (-11)/((-22)/4). Suppose -4*m - 6 = -3*f, -2*f = m - 5 + 1. Is f > q?
False
Suppose -6*b + 110 = 4*b. Let u = b + -10. Which is greater: u or 2/25?
u
Suppose 3*y = 2*y - 10. Let n(v) = -v**3 - 11*v**2 - 11*v - 5. Let w be n(y). Suppose 0 = l - 4*c + 14 + 2, -w*l - 16 = -4*c. Which is bigger: l or 5/11?
5/11
Let z(c) = -c**3 + 8*c**2 + 32*c + 17. Let o be z(11). Is 14 less than o?
False
Let t be (-50)/(-10)*2/((-4)/(-38)). Let o = 57 - t. Is o smaller than -38?
False
Let p = -7.96 - 0.04. Which is bigger: p or 7/4?
7/4
Suppose -667 = -3*k - 298. Is 121 greater than or equal to k?
False
Suppose m - 2 = -3. Let k be 20 + m + (4 - 7). Is 16 at most k?
True
Let h = 105 - 75. Let v be 26 - 1/(2/(-6)*1). Is v greater than or equal to h?
False
Let g(p) = p**2 - 1. Let z be g(1). Let v be (-2)/12*-2*(-165)/176. Is v greater than or equal to z?
False
Suppose -b - 2*b = 0. Suppose 3*w + 30 + 3 = b. Let g = w + 10. Is g > -10/9?
True
Let y(k) = -43*k + 88. Let a be y(2). Which is bigger: a or 23/12?
a
Let z = -91 + 90.6. Which is smaller: z or -19?
-19
Let i = -0.494 - 0.016. Let y = i - -0.31. Do 0 and y have the same value?
False
Suppose -5*g + 185 = -495. Suppose g = -3*c - n, 3*c + 2*c + 220 = 5*n. Is -45 greater than or equal to c?
True
Let a = -115 + 115. Let y be 1*(a - -2)/(2 - 4). Which is smaller: 12/35 or y?
y
Let k be (18/(-42) - (-6)/14)*-1. Is k less than -1/20?
False
Suppose 2*g - 2*b = -b - 35, -70 = 3*g - 5*b. Let o = -151/10 - g. Which is smaller: 0 or o?
o
Let q(o) = -19*o - 91*o**2 + 90*o**2 + 2*o + 23. Let n be q(-18). Do 2 and n have different values?
True
Suppose -167*f + 1140 = -171*f. Do f and -284 have the same value?
False
Let k(w) = -w**3 + 12*w**2 - w + 6. Suppose -13 = -4*v + 91. Suppose -44 = -2*h + 4*g, -111 + v = -5*h + 5*g. Let p be k(h). Do p and -4 have the same value?
False
Suppose -545 = -2*l + 2*h - 1, 4*h + 548 = 2*l. Suppose l = -6*b + 12*b. Does 45 = b?
True
Let x(k) = -k**2 - 2*k + 3. Let a be x(2). Let t = -118 - -591/5. Which is smaller: t or a?
a
Let t = 10.3 - -4.7. Let a = 14.93 - -0.07. Let h = a - t. Which is greater: h or -0.2?
h
Let q = -29 + 29.72. Let a = q + 5.28. Let x = -0.3 - -0.1. Which is smaller: x or a?
x
Let u = 1408726149605/29694 + -47441441. Let c = u + -1/202. Which is greater: c or 1?
1
Suppose 3*d + 0*d - 110 = -5*b, 4*b - 2*d = 110. Suppose 0 = -5*s + s - 3*y - 71, 5*y + b = 0. Are -12 and s nonequal?
True
Let v(b) = -2 + b - 3*b + 4*b + b**2. Let f be v(-3). Let j = 2/27 - -17/135. Is f at least j?
True
Let f = -32 + 31. Let k = -25 - f. Let l be 8/3 - k/(-8). Are l and 2/7 non-equal?
True
Let g(q) = q. Suppose 3*k - 13 = 2*z + 25, -3*k = -z - 34. Let v be g(k). Suppose 3*x - v = -d, -3*x + 33 = 4*d + 11. Which is bigger: 3/2 or x?
x
Let p(s) = -3*s - 16. Let h be p(-7). Suppose 3*n = 8 - h. Is n < 3/20?
False
Suppose 2*f - 5*v = -f - 103, -5*f = -5*v + 155. Let w be 92*(f/8 + 4)/3. Is 22 at least w?
False
Suppose 390*a = 387*a + 3. Which is greater: a or -9/49?
a
Let h(y) = y**2. Let v be h(-3). Let j = 12 - v. Let t be 1 - ((-3)/(-1))/j. Which is bigger: t or -1?
t
Let i(g) = -g**2 + 4*g + 6. Let u be i(8). Let f = u - -23. Let c be (-4 + 8)*(-1)/(-4). Which is smaller: f or c?
f
Suppose 3*f + 17*a = 13*a + 531, -a = 5*f - 868. Is 172 > f?
False
Suppose -10*j + 12*j = 22. Let g be 13*(-4)/58 + (j - 10). Is -1 bigger than g?
False
Let c = -64411/9 - -7145. Is -12 greater than c?
False
Let o = -0.1 + 0.2. Let y = -4.767 + -0.033. Let k = -4.1 - y. Are o and k equal?
False
Let c = -2641 - -4550444/1723. Let g = c + 3231/370445. Which is smaller: g or -1?
-1
Let f = 12753/7 + -1775. Let k = f + -47. Let c be ((-1)/2)/((-1)/(-2)). Is c greater than or equal to k?
False
Let y(a) = -a**2 - 30*a + 56. Let x be y(-30). Which is bigger: x or 57?
57
Let k = 45/98 + 2/49. Let m(j) = j. Let h be m(-6). Does k = h?
False
Let l be 3 + (-5)/(-15)*828/(-148). Is 1 bigger than l?
False
Let r = -2.855 + 2.8. Let z = -0.425 - r. Let v = 14.37 + z. Which is smaller: 0.2 or v?
0.2
Suppose 3*v = -3*s - 7 - 20, 5*s + 27 = -3*v. Let w(r) = 3 + 3*r - 2*r + 0 + 5. Let k be w(v). Which is smaller: 2/29 or k?
k
Let g(a) = a**2 + 5*a + 6. Let d be g(-3). Which is smaller: d or -20?
-20
Suppose -45 = 3*w - 6*w. Let z be (1870/(-25))/(16/w). Let g = z - -70. Are -0.1 and g equal?
False
Let z be (-2)/11 + (-80)/44. Let w(k) = -5*k**2 - 4*k + 2. Let b be w(z). Is b at least -10?
True
Let z = -1413/1624 - 1/203. Let t = z - 11/24. Which is bigger: -1 or t?
-1
Let n be (-2 + 196/(-12))/((-3)/27). Which is bigger: n or 166?
166
Suppose -5 = -3*s + 4. Suppose 0*w - s*w = 3. Let m = 8 - 10. Is m != w?
True
Suppose -4*w = -3*f - 13 - 1, -3*w + 9 = -2*f. Let z = 16.25 - 12.25. Which is smaller: z or f?
f
Let m = -376.9 - -347. Let r = -30 - m. Which is bigger: 0.23 or r?
0.23
Let s(x) = 13*x**2 + 24*x - 21. Let i(q) = 7*q**2 + 12*q - 11. Let r(u) = -11*i(u) + 6*s(u). Let d be r(-13). Which is smaller: 3 or d?
3
Suppose q - 20 = -5*y, -13 = 2*y + 2*y - 5*q. Suppose y*j + w - 14 = -w, 0 = -j + 4*w. Suppose i = -j*i. Is 6/19 >= i?
True
Let s = -177 - -168.9. Let c = -9 - s. Let z be 78/65*1*(-2)/6. Which is smaller: z or c?
c
Suppose -5 = 4*z + 5*u + 6, 5*z - 2*u = 11. Suppose -3*g - 26 - z = 0. Let f = g - -10. Is f not equal to 3?
True
Suppose -s - 118 = -3*c, -c - c - 4*s = -60. Suppose 3*i + i + 3*v - 142 = 0, -i - 4*v + 29 = 0. Is i less than c?
True
Let u = 8450/3703 + 2/529. Let z be (0 - -1)*1*1. Which is bigger: z or u?
u
Let d be (2/(-1))/2 - (-232)/(-24). Which is smaller: -11 or d?
-11
Let z be 22/(-4)*103/(-3399). Suppose -4*y + v = -20, 2*v = 3*y - 7*y + 8. Let o(x) = -x + 3. Let w be o(y). Is z smaller than w?
False
Let r = -2329/24 - -97. Is r bigger than 0?
False
Let z be 4/(-32) + (-66)/112. Let s be (9/84)/((-31)/(-188)). Let f = s + z. Which is greater: f or 1?
1
Suppose -3 - 2 = -h. Suppose 3*l + 0 + 1 = t, -t = -h*l - 1. Let v be l + (3 - 3) + -7. Is -7 smaller than v?
False
Let u(t) = 6 - 12*t**3 + 2*t**2 + 11*t**3 + 0 - t - 5*t**3. Let o be u(2). Is o bigger than -35?
False
Suppose -2*v + 3*s + 33 = 0, 0 = -2*v + s + 28 - 5. Let y be v/((-81)/(-12)) + -1. Which is smaller: y or 2/13?
2/13
Let r = -77 + 74. Let s = -3.99 + -0.01. Let x = s - r. Which is smaller: x or -7?
-7
Let g be 755/217 - (2 - -1). Let c = g - 6/31. Are c and 0.09 nonequal?
True
Let o = 165 - 164.6. Is 0.2 greater than o?
False
Let u = -20.991 + -0.009. Let h = -20.9 - u. Which is smaller: h or 1?
h
Let l = 6 + -23. Let k be (-7 -