 -0.3 or y?
y
Let v = -2.06 + 2.06. Which is bigger: 0.82 or v?
0.82
Let k(g) = g**3 + g**2 - 2*g + 6. Let s be k(4). Let j be 9/21 + s/14. Let f = 21 - j. Which is smaller: 16 or f?
f
Let p(r) = r**3. Let b be p(0). Suppose -6*t - 2322 = -t + 3*d, 940 = -2*t - 4*d. Let m be (-40)/t + 4/(-22). Is b >= m?
True
Let a = -0.423 + 0.923. Is a less than 16?
True
Let f = 7699/16 - 481. Let l be (-4)/(-3)*-3 + 4. Which is smaller: l or f?
l
Let a(i) = 3*i**2 + 4*i + 4. Let q be a(-1). Let v be (-3)/(-74)*4/q. Which is smaller: v or -1?
-1
Let y = 141.7 - -2.3. Which is smaller: y or 8?
8
Let j(c) = c**2 + 9*c + 9. Let z be j(-8). Suppose 22*w - 23*w = -z. Let p = -152/3 + 52. Which is smaller: p or w?
w
Let u be -2 + 6*(-5)/(60/(-147)). Which is bigger: 72 or u?
72
Let j = -33 + 78. Let u = j - 31. Suppose -3*d - 70 = -8*d. Is d at most as big as u?
True
Suppose a + 1 = 2. Let p be (-164)/(-123) + (-46)/30 - (-8)/(-35). Is a <= p?
False
Let d = -11.43 + 9.43. Which is bigger: 112 or d?
112
Let t = 10.7 + -5. Let d = t + -1.7. Let h be 6/(-4)*28/(-315). Which is smaller: d or h?
h
Let a = -832 + 833.4. Let t = -24/7 + 103/28. Is a at least as big as t?
True
Let x = -15 + 17. Suppose -32 = -4*d - 12. Is x less than d?
True
Let l = 2 + 23. Let j(g) = 2*g**3 + 39*g**2 + 22*g + 82. Let d be j(-19). Is d at most as big as l?
True
Let a = -502 + 178. Which is smaller: -322 or a?
a
Suppose 0 = -3*x - 0*x - 3. Let i be (-4)/(-6)*-15*7. Let a be (6/60)/(4/i). Is a at least x?
False
Suppose 2*n - 106 = -52*z + 56*z, 2*n - 103 = z. Let w = 85 + -34. Is n at most w?
True
Let p be (-4)/(-26) + (-18638)/(-26). Suppose -5*l - 3*g + 1196 = 0, -5*l - 2*g = -2*l - p. Let r = l + -1211/5. Which is greater: r or 0?
0
Suppose 0 = 2*z - 1 - 3. Let d be 4*((-76)/(-57))/(8/6). Suppose -z*j = d + 4. Is j greater than or equal to -4?
True
Let g = -0.56 + 0.4. Let p = 0.04 - g. Is p equal to 1.4?
False
Let d be 496/(-244) - -1 - -1. Suppose -2*a + 16*a = -14. Is d > a?
True
Let f = 57 + -199. Which is smaller: f or -143?
-143
Let s = 15895/30873 - 2/753. Is 0 less than s?
True
Suppose 0 = 35*a - 54*a - 4218. Are -224 and a equal?
False
Let z be 26/(-91) - (2 + (-11211)/4914). Let h = z + -853/1170. Is h < -2?
False
Let w(c) = -c**2 + 6*c - 6. Let v be w(5). Suppose 3*l + 4 - 10 = 0. Suppose -l + 6 = -2*s. Is v equal to s?
False
Let c = 41 - 36. Suppose -6*u + 53 = c. Which is smaller: 7 or u?
7
Let h = 80/399 + -2/19. Is h less than or equal to -0.17?
False
Let p be (-8591)/(-15) - 3/(-5). Let m = -588 + p. Which is greater: -14 or m?
-14
Let d = 37 - 19. Is 11 smaller than d?
True
Let d be (-14)/(-8) + 1 + -2. Let w = 1104 + -1102. Is w at least as big as d?
True
Suppose 0 = -4*c - 17 - 31. Let v be c/(-24)*2/4. Are 63 and v unequal?
True
Let s(n) = -n - 15. Let g be s(0). Let m be 4/(-10) + (-6)/g. Let j = -44 + 617/14. Is m at least j?
False
Let n = -862 - -633. Is n at most as big as -228?
True
Suppose -4*r - 5 = -5*r. Suppose -r = -4*t + 11. Which is bigger: 5 or t?
5
Let r = -17175/728 - -189/8. Is r >= 0?
True
Let i(b) = -2*b**2 - 14*b + 23. Let z be i(-9). Which is greater: -19 or z?
z
Suppose -11*z + 7*z + 8 = 0. Suppose 7 = 3*p - z*d, -p - 4*d = -5*p + 12. Let b be 2*(1 + p/(-2)). Which is smaller: b or -1.2?
-1.2
Let o be (-3)/2*-2 - (-108)/12. Let p be o/(-42) + (-118)/(-560). Which is smaller: -1 or p?
-1
Let i = -560 + 559.93. Is 0.042 <= i?
False
Suppose -11*u + 6*u + 2*d = 50, 3*d = -2*u - 1. Is u greater than -112/13?
True
Let g be -14*(75/(-35) - -3). Let a be (-375)/549 + ((-56)/g - 4). Which is greater: a or 1?
1
Suppose -4*l = -3*l - 45. Suppose -5*g = 5*n - l, n + 4*g + 4 - 7 = 0. Let p = -10 + n. Which is smaller: -0.7 or p?
-0.7
Let t = -2449 + 2452. Are 140/37 and t unequal?
True
Let u = -752 - -761. Which is bigger: 3 or u?
u
Let t(v) = v. Let a be t(3). Let h be 15/10*728/21. Suppose h = -n - a*n. Is n greater than -14?
True
Let u(g) = -g**3 - 9*g**2 + 8*g - 10. Let h be u(-10). Let v(w) = -w**2 + 10*w + 1. Let q be v(h). Is q not equal to 5/6?
True
Let w be 4*12*(1 + -2). Let c be (-8786)/w + (-6)/36. Let m = c - 182. Which is smaller: 1 or m?
m
Let z = 28 + -16. Let d = -8 + z. Let q = -0.22 + 0.02. Is q > d?
False
Let i(a) be the second derivative of -a**5/20 + a**4/12 + a**3/6 - 231*a**2/2 + 3*a. Let s be i(0). Let z = s + 2077/9. Which is smaller: z or 1?
z
Let z be (3/24*4)/(100/15). Which is smaller: 0 or z?
0
Let w(b) = -b**2 + 51*b - 339. Let p be w(0). Is p at most -341?
False
Suppose 4*v - 49 = 43. Suppose 2*y - 5 = -0*y + 5*m, 0 = -2*y - m + v. Is 12 at most y?
False
Let o = 11089/516 + -259/12. Let g(p) = -p - 16. Let c be g(-17). Is o smaller than c?
True
Let a be (0/(-1 + -2))/(-2). Suppose 3*q - 6*q + 33 = a. Suppose 5*w = 3*y - q, -3 = -3*y + 3. Which is greater: -2/41 or w?
-2/41
Let t be 33/(11/(-4) + 3). Suppose 138 = -2*v - 2*v - 5*n, -2*n = 4*v + t. Let m = 31 + v. Are m and 2/5 nonequal?
True
Let f = -215 + 214. Are -6 and f equal?
False
Let i = 73.02 + -73. Which is greater: 2/11 or i?
2/11
Suppose -8*c + 205 = -3*c. Let x = -57 + c. Which is greater: -14 or x?
-14
Let t = 1 + 0. Let a(k) = -20*k**2 + 5*k + 9. Let w(j) = -7*j**2 + 2*j + 3. Let r(n) = -6*a(n) + 17*w(n). Let o be r(1). Which is smaller: t or o?
t
Suppose 22*v = 20*v. Let q(k) = -14*k**2 + k + 1. Let n be q(-1). Which is greater: n or v?
v
Let s = 9 - 5. Suppose 4*h - 1 = -9, -3*h - 654 = s*v. Let j = 816/5 + v. Which is bigger: 1 or j?
j
Suppose 23 + 52 = -5*k. Let a = 0 - k. Is a less than 15?
False
Let m = -501 + 279. Let i be m/30 + 2 + 0. Let w(r) = -4*r. Let g be w(1). Do g and i have the same value?
False
Suppose -3*i + 8 = 8. Which is bigger: -3/97 or i?
i
Let d = -85/74 - 12955/962. Is -14 at least as big as d?
True
Let c(u) = u + 3. Let v be c(-2). Which is smaller: v or 0.087?
0.087
Let z = 139 + -136. Suppose q + z*o = 2*q - 17, 0 = -4*q - o + 29. Is 5 less than q?
True
Let g = 24.9 - 29. Is -0.4 equal to g?
False
Let v be 4*(-2 - (-11)/8). Let y = -5 - -5. Suppose o + 2*o + 12 = y. Is v > o?
True
Let a = -1009 + 1052. Let b = 2 + -3. Which is smaller: a or b?
b
Let o = 1171 - 1199. Does o = -8?
False
Suppose -58 = 4*w + 10. Which is smaller: -23 or w?
-23
Let u = -21.6 + 21. Let l = u - -7.6. Let w = 4 - l. Is w equal to -4/5?
False
Suppose -3*x - 27 = -4*m, -22 = -17*x + 22*x + m. Is -30 not equal to x?
True
Let p = 11 - 5. Let o be p*(-4)/6 + 12. Suppose n + o = 7. Which is greater: -4 or n?
n
Let s be (135/(-180))/(0 - (-1)/(-72)). Let i = 163/3 - s. Which is greater: i or 4?
4
Let j = -68 + 8. Is 2 bigger than j?
True
Let f(l) be the second derivative of -l**3/6 - 13*l**2/2 - 8*l. Let n be f(-10). Let t = n + -1. Are -3 and t equal?
False
Let y = -18/23 + 1841/2323. Which is smaller: 1 or y?
y
Let r = 3 - 1. Suppose -u - 11 = 2*t, 0*u - 5*t = r*u + 26. Let n = 0.19 + -0.19. Is n bigger than u?
True
Suppose 34*u + 328 = 38*u. Which is smaller: u or 80?
80
Let c(r) = 3*r - 2. Let h be c(2). Let q be h - (0 + 3 - 0). Does q = 1?
True
Let f = 47 + -31. Let a be f - 13 - (-5)/1*-1. Is -18 greater than or equal to a?
False
Let t = 0.0471 + -0.1471. Do 0.03 and t have different values?
True
Let a = 3000 + -2984. Suppose 3*b + 41 = 11. Let n be ((-4)/50)/(2/b). Are n and a nonequal?
True
Let d be (2653/21)/((-4)/3). Let s = d + 97. Suppose -4*v + 3 = -v. Which is greater: s or v?
s
Suppose 0 = -2*f - 2*g - 3*g - 4, 2*g = 0. Let s = 4 + f. Suppose -s*n + 13 = -6*o + o, -5*n = -2*o - 1. Is n at least as big as -4?
True
Suppose 0 = -0*c - 4*c. Let i be c - -2 - 1 - -1. Let v be (-500)/(-120) - 3*1/18. Which is bigger: i or v?
v
Let z = 4 - 3. Let q be z/(56/(-20) + 3). Suppose -3*n - 29 = -q. Is n at least as big as -8?
True
Let i = -77/39 + -1218/13. Are -97 and i non-equal?
True
Suppose r = v - 1, -4*v + 7 + 6 = 5*r. Let u be -21 - (0 - (0 - -1)). Let p be ((-74)/u - 4)*v. Which is greater: p or 0?
0
Let t be (-180)/48 - 3*(-12)/9. Let f be (-39)/(-2) + (-1)/2. Which is smaller: t or f?
t
Let i be (1/((-12)/(-8)))/((-15)/9). Is i bigger than 5?
False
Let p be (2/(-566))/(18/(-72)). Do p and -1 have different values?
True
Suppose -5*f + 3*p - 2*p - 4 = 0, -4*f = 4*p - 16. Let r = 116 - 545. Let x = -2138/5 - r. Is f bigger than x?
False
Suppose -19 = -4