
False
Let i = 92432/5 - 18386. Is i less than -4?
False
Suppose 0 = -5*y - 15*y - 500. Let i = -83 + 58. Is i < y?
False
Let w = 72 + -112. Let r be (-3 - (-45)/12)/(250/w). Is r at most 0?
True
Let i(c) = c**3 - 4*c**2 + 4*c - 2. Let r be i(2). Let q = -2117 - -2103. Which is bigger: q or r?
r
Let c be (-2 - -10) + -5 - -7. Let g be c/26*24/120. Which is smaller: g or 1?
g
Let d be 1*1438/(-4) - (225 + -27)/33. Is -367 less than d?
True
Let x = -3.922 + 4. Let q = x - -9.022. Let u = -9 + q. Is 0.1 at most as big as u?
True
Let v be 2/8*0 + 4 + -1. Suppose -2*q + 46 = 3*s, -v*q = q + s - 72. Suppose -w - 22 = q*i - 12*i, 0 = i + 4. Do -3 and w have different values?
True
Suppose 2*u + 488 = 4*o, 5*u = 32 - 52. Are o and 104 non-equal?
True
Let x = -88 + 67. Let a(c) = c**2 + 21*c + 31. Let l be a(x). Let d = -30 + l. Is 12 equal to d?
False
Let y = -2197.7 - -2419.7. Which is smaller: y or -0.1?
-0.1
Let o = 8357 - 8497. Which is greater: o or -986/7?
o
Let y = 11.2 - 0.2. Let o = 229.75 + -229.85. Is y <= o?
False
Let h = 476/117 - 50/13. Is -337 less than h?
True
Let q(m) = 174*m**2 - 2*m - 2. Let d be q(-1). Let s = d - 184. Are -10 and s nonequal?
False
Let k = 273 - 275. Let i be k - 0 - 104/(-78). Is 4/5 at least as big as i?
True
Suppose 9599 = -10*w + 3322 - 8763. Does -1504 = w?
True
Let z = 145 - 145.0471. Let g = z + 49.9471. Let r = 50 - g. Which is smaller: r or -4/7?
-4/7
Let k be (-3802)/12 + (-6)/12. Let d = k + 318. Which is greater: d or 24?
24
Suppose 3*i + 1693 = 5*s, s + 1749 + 1110 = -5*i. Let x = i + 572. Is x bigger than -1/669?
True
Let j = -4/3123 - -7537/5071752. Is -2 smaller than j?
True
Let f = -935 + 918. Is f less than -279/17?
True
Let r be ((-12)/(-264))/(0 + 1*35/(-60)). Suppose 5*x + 6*f - f = 15, 3*x - 2*f + 1 = 0. Is r greater than x?
False
Let l(h) = -h**3 + 9*h**2 - 14*h + 9. Let x be l(7). Let s be (-6)/(-18)*x/(-42). Which is bigger: s or -1?
s
Let u = -805 - -750.3. Let t = u + 52. Let z = t + 2.9. Which is greater: z or -1?
z
Let z = -200 - -205. Let p(u) = 3*u**2 - 14*u + 15. Let r be p(z). Are r and 135/7 nonequal?
True
Suppose -40 = -138*g - 178. Are -14/2075 and g equal?
False
Let l(o) = -2*o - 11 + 2*o + 3*o - 2*o. Let s be l(-5). Let r be (-3)/6*(-46 - s/(-4)). Is 26 smaller than r?
False
Let y = -16.1 - -16. Let m = -5418 - -5418.076. Which is smaller: y or m?
y
Let m(s) = s**2 - 25*s + 169. Let q be m(9). Suppose 6 = 2*r - 0, -c = 2*r - 53. Let w = 74 - c. Is w at least as big as q?
True
Suppose -s = 5*d - 30, -4*d + 3*s + 1 = -4. Suppose 330 = d*j + 495. Which is smaller: j or -32?
j
Let s(j) = -32*j**3 - 2*j - 1. Let g be s(-1). Let q = g - 41. Let r be 5*1/(60/q). Which is greater: r or -10?
r
Let n = -73 + 138. Let g = n - 47. Let f be g*(10/(-6))/(-5). Is f smaller than 0.3?
False
Suppose d - 3*n + 11 = 0, 24*n - 19*n - 25 = 0. Suppose -d*b = 36*m - 31*m - 409, 527 = 5*b + m. Is 107 != b?
True
Let l = -6840 + 8766. Is l > 1925?
True
Suppose -m + 3*p + 0*p - 12 = 0, 0 = -2*m - 5*p - 13. Let o be m*(-93)/(-171) + (-4)/38. Which is smaller: -3 or o?
o
Suppose -120*p + 27 - 72 = 75. Which is smaller: 49/293 or p?
p
Suppose 0 = -3*w + 2*x - 90, 2*w + 76 = -6*x + 2*x. Suppose 526*d + 35 = 519*d. Which is smaller: d or w?
w
Let m = 2148007/11 + -195057. Which is bigger: 215 or m?
m
Let c be 2/4 - 435/910. Let m = 24005 - 24006. Which is bigger: m or c?
c
Let s be (-5 - -1) + 419 + (4 - -1). Let v = s + -420. Is v equal to -51?
False
Let w be (-1)/((618/9)/(1715/(-105))). Which is bigger: 0 or w?
w
Let s be 23 - (-20076)/(-1188) - (-4)/9. Suppose -45 = 3*q - 8*q. Suppose q = -2*l + 4*l + r, -l + 3*r + 15 = 0. Is l at least s?
False
Let d(t) be the third derivative of 7*t**4/24 + 175*t**3/6 + 176*t**2. Let o be d(-25). Let z = -23/2 + 11. Which is greater: z or o?
o
Suppose 6*u = 3*c + 2*u - 465, -c + 160 = -3*u. Suppose -j - m = -4*m + 57, 3*j = -m - c. Let w = j - -31. Which is bigger: w or -19?
-19
Suppose 2*t = t + 1, t = -5*q - 34. Let z = 31 + -33. Let g be -15 + 9 - z/2. Which is bigger: q or g?
g
Suppose -28758 = 40*s + 4802. Are s and -836 equal?
False
Let a = -6 + -5. Let q(m) = -m**3 + 35*m**2 - 32*m - 74. Let y be 39 + (0 - 7) + 2. Let h be q(y). Is h < a?
False
Let z = 3423 - 3423.108. Which is smaller: 1 or z?
z
Let c = -38.29 - -38.68. Which is smaller: -8 or c?
-8
Let k = 21.006 + -0.006. Let g be -3 + (11 - 2) + -3 + 1. Let p be 3 + 3 + -4 - g/2. Which is bigger: k or p?
k
Let r = -36930 - -37062. Is 1177/9 equal to r?
False
Let s = -27 - -31. Let h be (5/(-1) + s)/1. Let k = -11.023 + 0.023. Which is greater: h or k?
h
Let u be (16/(-32))/(17/374) - 44/(-4). Let h be 2/((-213)/(-2)*-1). Are h and u non-equal?
True
Let z = -218 - -218.169. Let p = z + -3.169. Which is greater: p or 2/157?
2/157
Suppose -10*j + 357 = -453. Suppose -5*g - j = -3*f - 2*g, 5*f - 3*g - 139 = 0. Which is bigger: f or 0.2?
f
Let c(m) = m**3 + 15*m**2 - 12*m + 14. Let b be c(-15). Let f = 200 - b. Which is bigger: 38/7 or f?
f
Let b = 25/2 + -75/4. Let l(d) = -d**3 + 13*d**2 - 30*d + 13. Let n be l(10). Suppose -q - 4 = 2*z - 3*q, -4*z = -3*q + n. Is z bigger than b?
False
Suppose 4*p = 3*q - 146, -178*q - 5*p = -181*q + 151. Do 35 and q have the same value?
False
Let w = 3277 - 3323. Which is bigger: w or -357/8?
-357/8
Let w = -121.9 + 181.084. Let d = w - 0.184. Is d less than -2/11?
False
Let f = 2.3015 - 99.3015. Which is bigger: f or -0.091?
-0.091
Suppose 5*s - 2*s + 87 = 0. Let w = -180 + 186. Suppose -w*r - 51 = 117. Which is smaller: r or s?
s
Let m = -2215 - -2275.48. Let p = -60.047 - -0.047. Let f = m + p. Which is greater: -1 or f?
f
Let y = -11863/3 + 3954. Which is bigger: -1778 or y?
y
Suppose -40*g = -36*g - 44. Let v be (6/6 + -6)*-2. Which is greater: v or g?
g
Let y = 468 + -464. Let s(m) = 54*m - 24. Let q be s(y). Is q > 191?
True
Let g be (-33)/(-4) + 315/(-252). Let z be (84/(-66) - -1)/(g/(-42)). Let d = -2 + 4. Do d and z have the same value?
False
Suppose k = -7 + 9. Suppose -k = 5*q - 22. Let g be (q/6)/(18/(-81)). Which is smaller: g or -9/5?
g
Let j(i) = -i**2 - 13. Let h be j(-3). Let f = h + 14. Let l be f/6 - 780/(-45). Which is bigger: 15 or l?
l
Let r(l) = -10*l + 112. Let c be r(12). Let h be 135/(-20) - (-2)/c. Which is smaller: -47 or h?
-47
Let a(g) = -2*g**2 + g - 92. Let i be a(4). Which is greater: i or -8?
-8
Let f be (3/12)/((-6)/(-376)). Let l be 11/((-55)/100)*-1. Let a be ((-45)/(-30))/(2/l). Which is greater: a or f?
f
Let y be ((-357)/133 + 5)*-3*(-161)/(-21). Is -52 at least y?
True
Let l = 8754 - 8753. Do l and -4/1287 have the same value?
False
Suppose -l - 370*m = -372*m + 544, 3*m = -4*l - 2209. Is -556 at most as big as l?
True
Let t = 208 + -168. Let a be 1236/t - 1*3/(-30). Are 33 and a equal?
False
Let k be ((-80)/(-25))/(8838/1770 - 5). Is -1420/3 greater than k?
False
Suppose -3*z + 3*q - 3 = 0, -4*z = -q + 17 - 19. Which is bigger: 24/949 or z?
z
Suppose -25*r - 1219 = 56. Let y = 240 - r. Is y smaller than 290?
False
Let t = 158 - 156. Suppose -26 + 30 = -t*k, 2*k = -3*n + 149. Which is greater: 52 or n?
52
Let k be 1278/(-81) + ((-8)/(-18))/(-2). Suppose 0 = 6*h - 5*h - 18. Let x be k/30*h/8. Are -1 and x equal?
False
Let w = 463.695 - 465.6. Let n = -23.905 - -24. Let c = w - n. Are -35 and c non-equal?
True
Suppose y - 14 = -2*c, -c - 23 + 75 = 5*y. Let i be (-2)/y*(-340)/102. Which is greater: 2 or i?
2
Let u = -55 - -57. Let r be u/(-13) + -5 + (-2192)/(-52). Suppose 40 = -33*l + r*l. Which is bigger: l or 9?
l
Let j be (-2592)/(-2530) - -6*8/(-72). Let u = j - -2/345. Let o(z) = 2*z + 1. Let d be o(-1). Which is greater: d or u?
u
Suppose 0 = -23*k - 9*k + 17*k - 28260. Is -1885 != k?
True
Let d be (-2 - 0) + 27/3. Let y(k) = k**3 - 5*k**2 - 14*k + 52. Let b be y(6). Is b greater than or equal to d?
False
Let k = 0.5644 - 0.5644. Which is smaller: -1334/7 or k?
-1334/7
Let d = -685 - -677. Is 23 greater than or equal to d?
True
Let i = 4354 - 4359. Is i at most 0.184?
True
Let p be (-13)/(-4) + -5 - 6/(-8). Let t be ((-100)/80)/(p/(-48)). Let m be (-39)/t*(-35)/14. Is m at least -0.1?
False
Let k(f) = -11*f - 1. Let n be k(-1). Suppose -124*s = -119*s - n. Do 2/17 and s have different values?
True
Let v = 37598 - 37599. Do 7/76 a