
j
Let f be (63/56)/((-1011)/2). Is 1 at most as big as f?
False
Let a = 274 - 315. Which is bigger: a or -40?
-40
Let q(t) = -t**2 + 38*t + 123. Let h be q(41). Is h != 25/19?
True
Let k = -47 - -47.017. Let v = -0.117 + k. Which is bigger: 0.2 or v?
0.2
Let k = 35.8 - 31.8. Which is bigger: k or -1/3?
k
Suppose 0 = -2*h + 2*x + 10, -2*x = h - 0*h + 10. Let s be 4 + -1 + -2 + -1. Suppose -n + s + 3 = h. Is 0.1 >= n?
False
Let z = -0.277 + 32.277. Which is smaller: 0 or z?
0
Let y be (260/8 - -5)*(6 + 0). Is y > 225?
False
Let a = 64 - 62. Suppose 2 = 2*p + 3*d + 9, 0 = -5*p - a*d - 1. Which is smaller: p or 4/5?
4/5
Let t be (1/(-2))/((-1)/(-2)). Let y be (0 - 1 - t)/(-2). Let a = -153943/45 + 3421. Which is smaller: y or a?
y
Let w be (-1)/(-3) + (-342)/297. Are w and -2 unequal?
True
Suppose 3*h - 4*h + b = -4, 5*b = 4*h - 20. Let c be 7/17*3 + -1. Which is bigger: h or c?
c
Let s = -260 + 3902/15. Let n(i) = -2*i - 16. Let h be n(-16). Let g be -4 - (-1 + (-52)/h). Is g greater than or equal to s?
True
Suppose 7 = 3*q - 5. Let w(n) = n**3 + 75*n**2 - 2*n - 146. Let x be w(-75). Are x and q unequal?
False
Let r be 6640/1170 - (-28)/(-63). Is r less than 6?
True
Let u = 21 - 21.52. Let l = u + -13.18. Let t = l - -14. Which is smaller: t or 2?
t
Let p(w) = -3 + 3 - 1 - 4*w - w**2. Suppose -1 = -3*j + 4*m, -39*j = -35*j + 4*m + 36. Let g be p(j). Which is greater: g or -4?
-4
Let t be 1110/42 - (-8)/14. Let p = t + -21. Suppose 0 = -3*w + p*w. Is w at least -7/5?
True
Suppose 4*x - 2*x = 0. Let k = -24 + 37. Let s = k - 15. Which is smaller: x or s?
s
Let s(b) = -b**3 + 7*b**2 - b + 2. Let i be s(3). Suppose i = 2*f + 3*f. Let d be (-8)/7 - (-2)/f. Is d at most as big as -0.1?
True
Let u = 37 - 33. Suppose 5*p - 47 = -2*i, u*p + 6 - 26 = 0. Which is bigger: 12 or i?
12
Let f = 230037730/2997 + -76756. Which is smaller: f or 1?
f
Let h(z) = -3*z**3 - z. Let g be h(1). Let y = -12.33 + 10.33. Which is smaller: y or g?
g
Let y be (-6)/((4/(-36))/(7/133)). Does -1 = y?
False
Let l(u) = -3*u + 2. Let t be l(2). Let h be (1/2)/((-2)/t) + 3. Is 5 >= h?
True
Let c(k) = -3*k**2 - 46*k + 197. Let v(g) = -g**2 - 15*g + 66. Let b(t) = 2*c(t) - 7*v(t). Let n be b(-17). Which is greater: n or 6/23?
6/23
Let t be -3 - (-453)/39 - 8/(-4). Which is smaller: 10 or t?
10
Suppose 3*w + 9 = 3*f - 5*f, 2*f = w + 3. Let t = 7.88 + -8. Let c = 0.08 - t. Which is smaller: w or c?
w
Let q(p) = p**2 - 8*p - 6. Let w be q(9). Let m be w/(-12) - 4/(-16). Suppose 24 = -m*v - 4*v. Which is greater: -7 or v?
v
Let o = 0.161 + -0.281. Is o greater than or equal to 0.1?
False
Let s = -2 - -3. Let d be (3 - (-51)/(-18))*(-28)/(-126). Are s and d unequal?
True
Suppose 7*l = 10*l + 6. Let z be 56/(-102) - l/3. Which is greater: 3 or z?
3
Let h be -65*18*(-5)/(-40)*-4. Is 585 <= h?
True
Let k be 88/(-5) - -8 - 3/(-5). Suppose 5*d + 5*r = -30, 5*d - 4*r - 7 = -64. Is k smaller than d?
False
Let q = -290 - -375. Is 85 at least as big as q?
True
Let u = 0.27 + -0.17. Which is smaller: u or -278?
-278
Suppose -5*d + 56 - 21 = 0. Let p = d - 11. Suppose -9*h = 2*g - 4*h + 21, -5*h - 24 = 3*g. Is g at least p?
True
Let s(z) = 4*z - 10. Let f(x) = x**3 - 7*x**2 + 8*x - 11. Let j be f(6). Let g(t) = -t. Let d(y) = j*s(y) + 5*g(y). Let h be d(-9). Which is smaller: h or -1/2?
h
Let z = -1262 - -1316. Are 10 and z non-equal?
True
Let f = 277 - 143. Let l be 8/4 + (-4 - f/(-68)). Is l at least 0.3?
False
Let o = -415 + 233. Is 2/9 at least as big as o?
True
Let r = 1 - -1. Suppose 4*l + 3*t - t - 14 = 0, 2*l - 4*t - r = 0. Is l bigger than 30/13?
True
Let x be 9/(-2 - 77/(-42)). Is -54 at most x?
True
Let b = 1919 - 1954. Are -9 and b unequal?
True
Suppose -25*p = 3064 + 236. Are -129 and p non-equal?
True
Suppose -4*c + 2*b = -2 - 4, 2*c - 5*b - 15 = 0. Is -0.32 equal to c?
False
Let b = -3331/3 + 1084. Let o = b + 26. Let s be (-4)/(-14) - 2/7. Is o less than s?
True
Let m(v) = v**3 + 11*v**2 + 10*v - 9. Let h be m(-9). Suppose u - 68 - 7 = 2*j, -h = -u - j. Which is bigger: 66 or u?
u
Let m(r) = 3*r + 1 + 0 - 2*r. Let o be m(-9). Let v = 11 + o. Is 3/2 bigger than v?
False
Let d = -6 - -11. Suppose -d*t + 4*r + 24 + 9 = 0, 4*r - 12 = 0. Let i be (-2)/6*(-3)/t. Is 1 greater than i?
True
Let m = -0.12 - 1.48. Let l = m + 0.8. Which is bigger: 0.1 or l?
0.1
Let y(u) = -u**3 - 3*u**2 + 3. Let g = 136 + -139. Let c be y(g). Which is smaller: c or 30/13?
30/13
Let r = 246 + -250. Is r greater than or equal to -23/7?
False
Let y = 91 + -127. Let w be (24/y)/((-4)/(-9)). Which is smaller: w or -2?
-2
Let q = 831/22 - 71/2. Which is greater: 3 or q?
3
Let w = 41/8 - 5. Let t = 17 + -14. Suppose -3 = b, t*z + z + 4*b + 12 = 0. Are z and w equal?
False
Let p be (5 - 4) + (-1720)/6. Let z = p - -281. Are z and -6 unequal?
True
Let u = -2.95 - -3. Let r = u - 0.45. Let k = -28.52 + 28.52. Do r and k have different values?
True
Suppose -k + l - 244 = -5*k, -2*k + 122 = 4*l. Is 60 at most k?
True
Let a be 0 + 2 + (3 - 4). Let d(w) = w - 14. Let x be (-5 + 4)*(-16 + 1). Let f be d(x). Do f and a have different values?
False
Suppose 0 = -78*y + 88*y + 110. Is y less than -21/2?
True
Let h = -45.06 - -1.06. Let r = -46 - h. Which is smaller: 4/3 or r?
r
Let o be ((-15)/9)/(23/2277). Do -165 and o have the same value?
True
Suppose -277 = -8*q - 1237. Let r be 16/q - 647/(-15). Is r at most as big as 42?
False
Let o(r) = -r + 6. Let q be o(4). Suppose -4 = -i - 3*a - 12, -2*a = -q*i - 8. Let u be ((-2)/i)/((-3)/15). Which is bigger: -1 or u?
-1
Let h(u) = u**2 + 9*u + 10. Let g be h(-7). Let c be ((-38)/g - 2)*2. Let s be (-14)/(-60) + (-6)/c. Which is smaller: s or -1?
-1
Let p = 484 + -484.3. Which is bigger: p or -1/12?
-1/12
Let y = 2 - -3. Suppose 4*b = -b - y. Let n be 17/(-10) + 1 - b. Which is smaller: 0 or n?
0
Let c = -18.29 - -0.29. Let s = c + 18.8. Let p = 1.2 + s. Which is smaller: p or 2/7?
2/7
Let q be (-7)/((-819)/(-53685)) - (-4)/(-26). Which is smaller: -460 or q?
-460
Let n be 12/18*33/44. Are 0.058 and n non-equal?
True
Let z(k) = -k**2 + 49*k - 417. Let o be z(11). Which is greater: o or 1/113?
o
Suppose 8*j + 498 = 3*c - 898, 5*c + 4*j - 2396 = 0. Is 477 bigger than c?
True
Let r = -13.2 - -13.083. Let c = r + 0.017. Let k = -6 - -9. Which is smaller: k or c?
c
Suppose -140 = -3*h - 38. Let i = h + -101/3. Which is smaller: 6 or i?
i
Suppose 5*k - 3*j = 0, 0 = -k - 2*k - 5*j. Is k greater than or equal to -1/2024?
True
Let r be (1/4)/((-1)/(-12)) - -39. Let p be (-6)/r - 83/7. Is -14 bigger than p?
False
Suppose 25*k - 5 - 70 = 0. Is 43/15 greater than k?
False
Let f = 41 - -15. Let r be (4 + f/(-12))*144. Let x be (-16)/r - (-2)/(-3). Is x greater than or equal to -4?
True
Suppose -p = 4*p. Let k = -3 + p. Let u be 48/15 - k/(-15). Is 5 less than u?
False
Let n(g) = g**2 - 50*g + 586. Let o be n(34). Is o at least as big as 41?
True
Let q = -3.42 + -2.58. Which is smaller: -28 or q?
-28
Suppose -4*f = -1410 - 1430. Let r be (24/f)/6*5. Are 0 and r unequal?
True
Let m be 32/(-88) + (-148)/(-44). Let g be (-4)/5*13/(-4). Do m and g have the same value?
False
Let z = 327.8 - 278. Let f = 50 - z. Which is greater: f or -2/33?
f
Let s(n) = -n**2 - 9*n + 252. Let h be s(12). Which is smaller: h or 1/180?
h
Let r be (0/((-6)/2))/1. Suppose -4*f = 5*v - 39, r = -f + 3*v + 2*v + 16. Are 11 and f non-equal?
False
Let w(d) = -d**2 - 20*d - 35. Let u = -3 + -15. Let m be w(u). Is m bigger than -4?
True
Let u = -0.0321 + -19.9679. Which is bigger: -10 or u?
-10
Suppose 0 = -0*k + 2*k - 80. Let n be ((-108)/k + 3)/(-3). Which is greater: -1 or n?
n
Let q be (-930)/(-126) - (-16)/56. Which is smaller: 8 or q?
q
Suppose 3*h + 15 = -210. Let p = -138 - h. Let v be (-6)/(-21) + 46/p. Which is smaller: 1 or v?
v
Suppose v + 4869 = 4*v + 2*y, 2*v + 5*y - 3235 = 0. Is v not equal to 1626?
True
Let v be 0 + 0 + 4 - 0. Suppose 196 = r + 3*r - 4*x, 2*r + 4*x = 110. Let j = r + -49. Which is bigger: j or v?
v
Let s be 4 - 4/(-3)*51. Let g be (-16)/s - (-58)/99. Which is smaller: g or 0?
0
Let l = -0.16 + -33.84. Let a = -35 - l. Is 29 greater than a?
True
Let t(w) = -2*w**3 + w**2 - 5*w - 5. Let n be t(-1). Let h be -4 - (-48 - (-3)/n). Is h greater than 41?
True
Let q be 12/(-48)*24/18*1*3. Let k = -86