1 or d?
d
Let v = 294 - 299. Which is bigger: v or -0.04?
-0.04
Let r = 29 - 27. Is r at least as big as -40/9?
True
Suppose 2*l - 2*v = 6, v + 15 = -l - 4*l. Suppose 3*u - 13 = 4*t, 0 = u - 2*t + 2 - 7. Let o be 133/98 + u/l. Which is smaller: o or 1?
o
Let l = -24 + -17. Let o be (l + 2)*4/(-12). Which is greater: o or 41/3?
41/3
Suppose 0 = -7*i + 174 - 34. Do i and 16 have the same value?
False
Let s = 153 + -151.97. Let l = s - 0.03. Let w = 25 - 26. Which is smaller: l or w?
w
Let i(o) = o**2 + 6*o + 7. Let n be i(-2). Let v(s) = s**2 + 2*s + 1. Let k = -6 - -4. Let h be v(k). Which is smaller: n or h?
n
Let p = -19/4 - -17/4. Let s = 697 + -718. Which is smaller: s or p?
s
Let q be ((-53)/159)/(122/96*-2). Is 1 <= q?
False
Let z = -207 - -252. Do -0.1 and z have the same value?
False
Suppose 5*r - 72 = 2*r. Let k be (36/(-8))/((-9)/r). Let x be (-148)/(-18) + k/(-54). Which is bigger: -1 or x?
x
Let q = 692 - 703. Which is greater: q or -2/13?
-2/13
Suppose 10 = 2*d, 0*m + 5*d = -2*m + 13. Let t(h) = 2*h + 4. Let l be t(m). Let p be (-1 + 0)/(-3*3/(-72)). Is l greater than p?
False
Suppose h - 4*x = 60, x + 4*x + 196 = 4*h. Let a be -1 + (-2 - h/(-20)). Let u = -24 + 23. Is u greater than a?
False
Let b = 72 + -57. Is b <= 15?
True
Let c = -207 + 216.1. Let p = 9.6 - c. Which is bigger: -2 or p?
p
Let k = 2 - 1.9. Let g(o) = 2 - 4 - o**3 + 2*o**2 - 10*o - 2 + 2*o**3. Let j be g(-4). Is k equal to j?
False
Suppose 5*z + 4*j - 43 = -0*j, 4*j = -4*z + 32. Let u be (2/(-1))/(24/(-108)). Are u and z equal?
False
Let h be (-46)/(-4) - (-1)/2. Suppose -37*w + 140 + 267 = 0. Is w at least as big as h?
False
Let d be 234/15 + 9/(-15). Suppose d = -2*y + 3*y. Suppose -m - 3*n = -9, -8 = m - 5*n + y. Is m greater than 2/5?
False
Let q = -154 - -153.9. Which is smaller: -24 or q?
-24
Let b(f) = 2*f**2 + 57*f + 31. Let y be b(-28). Let z = 5/42 - -50/21. Is z equal to y?
False
Let l(m) = 5*m**2 + 3*m - 28. Let y be l(-4). Which is greater: y or 41?
41
Suppose -2*u + 4*c = 13 - 31, 3*u + 5*c = 60. Let b = 622 - 606. Which is smaller: b or u?
u
Let j be 5795/488 - (14 + -2). Let i(a) = a**2 + 4*a - 2. Let z be i(-4). Do z and j have the same value?
False
Let t be 10/(0 - (3 + -1)). Let g be (t/5)/(15/(-6)). Is g not equal to 12?
True
Let i(z) = -z**3 + 49*z**2 + 329*z + 55. Let k be i(55). Are k and 324 nonequal?
True
Let g = -0.132 + 0.26. Let d = 0.128 - g. Do d and -2/19 have the same value?
False
Let t be (1554/(-140))/((-18)/(-15)) + 0. Is -10 at least as big as t?
False
Let j be 840/135 - (4/18 + 0). Let x be j/45 - 1632/90. Is x equal to -15?
False
Let b be -51 + ((-1)/1 - -5). Let j = -8 - b. Is 40 greater than or equal to j?
True
Let g = -18 - -22. Which is greater: -7 or g?
g
Suppose 70*j - 84 = 63*j. Is j < 12?
False
Let y = 125 + -132. Which is bigger: y or 33?
33
Let u(s) = s**3 + 9*s**2 + 7*s - 4. Let d be u(-8). Suppose 3*l - d + 52 = 0. Which is greater: l or -14?
-14
Suppose 12*u + 48 = 48. Which is greater: 1/48 or u?
1/48
Suppose -26*w - 766 = -31*w - j, -2*j - 8 = 0. Which is greater: 156 or w?
156
Let d = -55 + 55.2. Let y = 117.1 + -107. Let f = -2.1 + y. Which is smaller: f or d?
d
Let x = 902 + -2708/3. Which is greater: x or -5/3?
x
Let v = -33 - -46. Let y be (2 - v/4)*12. Let m(i) = i**3 - 7*i**2 + 3*i + 2. Let p be m(6). Do y and p have the same value?
False
Let t = -0.06 + -0.84. Let h = -0.8 - t. Which is smaller: h or 0.14?
h
Let h = -0.976 + 1.176. Which is smaller: h or -0.591?
-0.591
Let o(c) = -6*c + 177. Let f be o(29). Let s = 9575/8 + -1195. Are s and f non-equal?
True
Suppose 0 = 4*p - 2*p, 2*s = -3*p - 10. Let f = -6 - s. Let t = -25 + 24. Does t = f?
True
Let a = 83.8 + -84. Which is greater: a or 15/11?
15/11
Let r = 6/49 + -25/147. Let u(y) = 256 - 3*y**2 - 263 + 2*y**2 - 7*y. Let l be u(-6). Is r greater than l?
True
Let d = -0.4 + 0.2. Let y = -0.013 - -1.813. Let c = y - d. Is c at most 0?
False
Let h = -20.4 - -21. Let y = 0.7 - h. Which is smaller: y or -0.19?
-0.19
Let b be (-4)/10*(-35)/(-14). Let h(q) = 2*q**2 - 4*q + 6. Let u be h(6). Let w be (-4)/((-104)/u) - 2. Which is smaller: b or w?
b
Suppose -4*p - 2*i + 26 = 0, -3*p - p = -2*i - 6. Suppose 0 = -2*z + p*y - 8, 5*z = y - 3*y - 44. Let s = z - -20. Which is smaller: s or 10?
10
Let l(b) = -b**3 + 7*b**2 - 7*b + 8. Let z be l(6). Let i be z/((0 - -3) + -5). Is i > -2/49?
False
Let w = -11 + 13. Let r = 2 - w. Suppose 0 = f + 3*f - z, r = 2*z - 8. Which is smaller: -4/19 or f?
-4/19
Let w = 3 + -5. Let o be 4 + (21/6 + -2)*-3. Do w and o have the same value?
False
Let x = -0.65 - -0.6. Let u = 0.62 + 0.33. Let q = u - x. Is -4/9 less than or equal to q?
True
Let g be (2 - (-2 - -3))*48. Let t be ((-1)/(-2))/((-4)/g). Let w be (t/8)/((-3)/(-10)). Which is smaller: w or -2?
w
Suppose -4 + 26 = -11*o. Let a(j) = j**3 + 13*j**2 + 10*j. Let c be a(-12). Suppose -2*t + c = b + 4, -3*t = 4*b - 30. Which is greater: o or t?
t
Let k be -10*(-16)/300 - (-1)/(-5). Which is smaller: k or -2/13?
-2/13
Let x(m) = m - 4. Let w be x(3). Let j be 4/(-6) + (-37)/(-35). Let c = j - 2/35. Do c and w have different values?
True
Let d be (24/(-16))/(6/(-64)). Let u(b) = b**2 - 6*b + 0*b**2 + d + 23*b. Let q be u(-16). Which is smaller: -3/4 or q?
-3/4
Let a = 114607/104 - 1102. Is 1 less than or equal to a?
False
Suppose -2*s + 54 = s. Let k = s + -13. Suppose 0 = -k*f - 3*z + 9, 4*f + z - 6 = -z. Do 1 and f have the same value?
False
Let b = -1.01107 + 0.01107. Let f = -1124/7 - -64082/399. Let a = 7/19 - f. Which is greater: a or b?
a
Let y be 0 - 3*12/(-20718). Which is bigger: 1 or y?
1
Let x(l) = l**2 + 4*l + 9. Let k be x(-4). Suppose s + 2*r + k = 22, 4*r = 4*s + 8. Suppose -s*a = -2*a - 1. Is a equal to -1/7?
False
Let p = -31 - -31.02. Let t = p + 11.98. Is t >= -1?
True
Let z = 1.951 + -1.051. Are 0.04 and z non-equal?
True
Let l be (6/24)/(-2 + 3). Let j be (-1)/5 - 12/(-10). Is j greater than or equal to l?
True
Let b(h) = -h + 11. Let c be b(7). Suppose -4*x - x + 4 = c*j, -x = 4*j - 4. Let i = 1051/5 + -211. Which is smaller: x or i?
i
Let f be 8 + 8*(-2 + 1). Is f less than -2/145?
False
Suppose -8*y - 39 = -47. Which is smaller: y or -3/326?
-3/326
Let a = 776 - 776.3. Which is greater: a or 6/37?
6/37
Suppose 13*u - 44 = 9*u. Suppose p - 16 = -p. Suppose 0*t - 5*z = t + p, -48 = -5*t - 3*z. Is u smaller than t?
True
Let d = 39.423 - 0.423. Let z = 47 + -9. Let l = z - d. Which is bigger: l or -9?
l
Let p = 2 - 3. Let u be 20/(2 - -3) + -5. Let c be (-20)/(-100)*(-2)/u. Is c smaller than p?
False
Suppose 0*p + 138 = -2*p + q, -2*q - 284 = 4*p. Let f = -22 - p. Does f = 48?
True
Let g be (53/3)/(8*8/192). Which is smaller: g or 56?
g
Let w = -0.0677 - 0.9323. Suppose 0 = 3*r - r - 22. Which is smaller: w or r?
w
Let n = -0.09 - 0.02. Let k = 0.69 - n. Let p = 59/15 + -18/5. Is p bigger than k?
False
Suppose 5*w + v + 2*v + 458 = 0, w + 5*v = -96. Let k = w - -11. Let i be k/84 - 4/(-14). Which is smaller: 2 or i?
i
Let i = -0.6 + 1. Let v = -21.02 - -21. Is i > v?
True
Suppose 4*j - x = -8, 4*j + 4 = 2*j + 3*x. Let r be (-6)/12*2*j. Suppose 0*l = 2*a + r*l - 6, 0 = a - 2*l. Is a < 3?
True
Suppose -9*i = -1064 - 916. Is i less than 221?
True
Let a be 1 - 2 - (-1 + -1). Suppose -q + 12 = 5*n, 2*q + 0*n - n = 2. Suppose 0 = 2*j - 0 - q. Is a less than j?
False
Suppose 13*m - 42 = -55. Which is bigger: 1/278 or m?
1/278
Let c be 2/3 - 56/(-24). Suppose 0*s = c*s. Suppose 0 = n - 4, -3*k - n + s*n = -10. Which is greater: 1/2 or k?
k
Let o = -26 - -37. Suppose o*w - 6 = 13*w. Is -1 at least as big as w?
True
Let q(p) = 5*p - 40. Let v be q(-5). Which is smaller: v or -64?
v
Let q = 230 + -1843/8. Suppose 0 = -t - 3*t + 5*i - 26, 24 = -5*t + 2*i. Let u be (-2)/t*-2 - -2. Which is smaller: q or u?
q
Let k be (2/(-8))/(119/(-204)). Do 0.05 and k have the same value?
False
Suppose 0 = -0*n + 4*n - 36. Let y(g) = -3*g**3 - 5*g**2 - g + 2. Let q be y(-2). Which is bigger: n or q?
n
Suppose 2*z + 0*g - 3*g = 4, 0 = 4*g. Suppose -5*c - 4 = u + 7, z*c = -4*u + 10. Suppose 4*r = 4*q - 0*r - 8, -2*q - 6*r - 20 = 0. Is q at most as big as c?
False
Let f = 17 - 17. Let s = f - -8. Let i = s - 8.2. Which is smaller: i or 1?
i
Let u = 2.2 + -2.1. Which is smaller: u o