 Is u < x?
False
Let r = 121 + 192. Suppose -12*i = 35 + r. Is -29 greater than or equal to i?
True
Let c be ((-16)/24)/((-80)/(-15) - -7). Which is bigger: 0.2 or c?
0.2
Let t be (-1 + 156/120)*8/(-21). Let s be (2/(-3 + 1))/(-1). Which is bigger: t or s?
s
Let k = -1.63 + -4.37. Let x = -0.29 - 0.01. Which is smaller: x or k?
k
Let g = 37 - 39. Let i = -0.3 - 3.7. Which is greater: g or i?
g
Let b be (-371)/35 - (-6)/10. Which is bigger: b or -13?
b
Let r(u) = -2*u**3 + 37*u**2 + 61*u - 18. Let g be r(20). Let n = 2367/5 + -471. Which is bigger: n or g?
n
Let u = 0 + 0. Let z = 106 + -114. Let p be 2/z*40/(-45). Which is smaller: p or u?
u
Let f be 22/121 + (-1146)/11. Which is bigger: -103 or f?
-103
Suppose 0 = -8*d + 3*d + 60. Are 12 and d unequal?
False
Let z = -196 + 196. Which is smaller: z or 146?
z
Let q = -1384 + 52. Suppose 0 = -5*h + 2*m - 5, 0*h - m = -3*h - 3. Let n be (24/q)/(h/3). Is n > 1?
False
Let x = 15 + -18. Suppose 0 = 7*k - 3*k - 20. Let h = x + k. Is 1 at most as big as h?
True
Suppose 3*i + 15 = -2*i. Let r be (i - -6) + 279/(-143). Let x = -16/13 + r. Do 0 and x have the same value?
False
Suppose 2*t - 15 = -5*y, 3*y + t = 8*y. Let m = -106 - -108. Let c be (28/m)/(y + -2). Is c <= -13?
True
Let g be -5 - (-5 + 217/(-7)). Which is greater: g or 27?
g
Let i(g) = -g**2 - 2*g - 4. Let d be -3 - (-5 - -4)*3. Let q be i(d). Let j = -2 - -1. Which is smaller: q or j?
q
Let q(d) = 2*d - 2. Let h be q(3). Suppose 25*c - 150 = 15*c. Let y be c*((-103)/(-25) - h). Which is bigger: 1 or y?
y
Let b(a) be the first derivative of -a**2 + 6*a - 5. Let m be b(5). Is -1 equal to m?
False
Let w be (2/3 + 0)*9. Let o(j) = 4*j + 4. Let v be o(w). Which is smaller: v or 29?
v
Let m(v) = -v**3 - 11*v**2 - 2*v - 16. Let d be m(-10). Let r be ((-3)/(-2))/(d/(-16)). Is 1 >= r?
True
Let o = 1140114/11 - 103740. Which is smaller: o or -94?
-94
Let k = 13254 + -13278. Let d be 4/(-6)*(-873)/(-24). Which is bigger: k or d?
k
Let m = -11.9 - -11.7. Which is bigger: 0.059 or m?
0.059
Let w = -222.1 + 222. Let h = 26 - 49. Which is greater: w or h?
w
Let q be (6/(-42))/((-3)/6). Which is greater: q or 13/4?
13/4
Let c = -60 - -120. Suppose 5*g - c + 0 = h, 3*g - 53 = 4*h. Let v = 11 - g. Is v smaller than -2/17?
False
Let f be 5/(-80) - 3285/(-80). Is f bigger than 42?
False
Let m = -12.9 + 21.5. Which is bigger: -1 or m?
m
Let v = 440 - 440. Is v equal to -2/155?
False
Let y = 644/15 - 42. Let j = -68/105 + y. Let k = -0.3 - -0.45. Are k and j equal?
False
Let z(x) = 12*x**2 + x**3 - 1 + 2*x + 6 + 8*x + 2*x. Let d be z(-11). Let o(c) = -c**3 - 6*c**2 - 4*c - 19. Let v be o(d). Is v > 5?
False
Let a(r) = r**3 - 5*r**2 + r - 4. Suppose -2*c + 4*c - 6 = 0. Suppose 2 = b - c. Let s be a(b). Which is bigger: s or 3/4?
s
Let y = 3 - 2. Suppose 6*h - 7*h = y. Let t = 23/5 - 473/105. Is t smaller than h?
False
Suppose 26 = 3*u + i, 5*i = 5*u - 24 - 6. Suppose 0 = 5*r + 4*l + u, -2*r + 4 = -0*r + 4*l. Which is greater: -3 or r?
-3
Let g = 1489 + -774. Which is bigger: g or 716?
716
Let q = -0.048 + 50.048. Let k = -48.1 + q. Is k < 2?
True
Let i(v) = 2*v**3 - 9*v**2 + 12*v - 8. Let h be i(6). Let l be h/(-220) - 12/(-20). Is l at most as big as -1?
False
Let d be (-1)/(-3) - (-8)/(-6). Let r be (-1)/d*2 + -3. Which is smaller: r or 1?
r
Let c = -5 + 5.08. Let k be -6 - (-5 + 3 - (0 + 2)). Is k less than c?
True
Suppose y - 90 = -145. Are -55 and y equal?
True
Let f = -52 - -52.05. Which is greater: 0.2 or f?
0.2
Suppose -108*u + 103*u + 45 = 0. Do 66/7 and u have the same value?
False
Let w be 3 - (1500219/429 - 2). Let d = 3492 + w. Which is smaller: -1 or d?
-1
Let d = -2269/5 + 453. Suppose 0 = -4*z - 2 - 2. Which is smaller: z or d?
z
Let t(g) = -13*g + 4. Let l be t(-2). Let u be (4/l)/(-1*3/(-9)). Let x = 3/2 - 1. Which is smaller: u or x?
u
Let g = -81 - -92. Let d be g/(9/(36/(-16))). Let z = 4 + -7. Which is bigger: d or z?
d
Let m = -1032 - -1044. Are 11 and m nonequal?
True
Let q be ((-24)/580)/(2/(-5)). Which is greater: q or 1/4?
1/4
Let m = -105 + 153. Suppose 3*t - m = -3*i, -i + 0*i = -2*t + 35. Suppose -2*j + t = 1. Which is smaller: -1/5 or j?
-1/5
Let u be (-2)/6*(-72)/2. Let x = -9 + u. Suppose 30 = 3*z - 3*k, x*k - 12 = -4*z - 0. Which is smaller: z or 3?
3
Let h = 1100 - 2165. Is h at most -1064?
True
Suppose 3*b - 18 = -3*b. Suppose -25 = -5*q + 5*i, -q + 0*q = b*i - 1. Is q at least 1?
True
Let w be (32/(-20))/(7/((-2275)/10)). Is w smaller than 49?
False
Let h(x) = x - 2. Let j be h(9). Let i be (10/(-30))/((-1)/12). Suppose i = -6*q + 10*q. Is j at most as big as q?
False
Suppose -y = 69 - 73, -p = 4*y - 16. Which is bigger: -16/27 or p?
p
Let o(z) = -z + 4. Let g be o(-5). Let n be 2*2 + g + -6. Suppose -n*b + 5 = -2*b. Is -1 bigger than b?
False
Let u = -623.19 + 623. Is 2/7 >= u?
True
Let f = -0.119 - -3.119. Is f less than or equal to 11.1?
True
Let x = -163.5 + 163.6. Which is smaller: -353 or x?
-353
Let x be (-108)/99*(3/(-4) - -1). Which is smaller: x or 0?
x
Let n = 13245 + -40135/3. Let v = n + 132. Is -2 <= v?
True
Let q(i) = -38*i**3 + i**2 + i + 1. Let u be q(-1). Suppose -44*g - 39*g + 156 = -79*g. Is u <= g?
True
Suppose -29 = -16*j - 93. Which is bigger: j or -17/4?
j
Let y(q) = 3*q**2 + 0*q**2 + 10*q - 2*q**2 + 2 - 17*q. Let b be y(5). Which is smaller: 1/4 or b?
b
Let t = -4093 - -24485/6. Let y = t - -2719/222. Which is bigger: y or -1?
y
Let m = -1996 - -1174. Is m > -820?
False
Let s = -3 + 15. Let q(f) = -f**3 + 26*f**2 - 69*f + 12. Let z be q(23). Is s at least as big as z?
True
Let x = 15.5 + -98.5. Let w = 97.1 + x. Let j = w + -14. Is j <= 3?
True
Let t = 2/3139 - 75530/304483. Is t < -1?
False
Let d(i) = i**3 - 12*i**2 - i + 14. Let r be (-3 - (1 + -3))*-12. Let z be d(r). Let n be (z/6)/((-14)/126). Is -3 at most as big as n?
True
Let l be ((-4)/6)/(20/(-30)). Let x be 2945/2475 + -1*l. Let b = x - -16/45. Are 0 and b unequal?
True
Suppose -4*n + 9 = -4*i - 7, -4 = -4*n + i. Which is bigger: n or -106?
n
Let i be -2 - -3 - 1 - 0. Suppose 0 = -5*u - i*r + 4*r - 30, -3*r + 11 = 2*u. Which is greater: u or -0.11?
-0.11
Suppose -2*m = 0, -5*l = 8*m - 3*m. Let t = -50577/58 - -872. Is l smaller than t?
False
Let s = 258 - 258.7. Which is greater: s or 0.06?
0.06
Suppose -5*o + 20 = 3*l, 0*o = -2*l - 2*o + 16. Suppose 0 = 4*z + 2*u - l, z - 5*u + 1 = -z. Let n be (-2)/2 - (-1 - z). Which is greater: 4/5 or n?
n
Let w(s) = -s**3 - 7*s**2 - 2*s + 10. Let j be w(-9). Let n be j/24*4/2. Let p = 683/42 - n. Is p > 0?
True
Suppose -9 = -2*l + 13. Suppose l + 3 = -2*b. Let d be 42/(-10) - (5 + b). Which is smaller: d or -2?
d
Let i = 118/5 - 959/40. Let s = -32 + 32.2. Do s and i have different values?
True
Let j = 25/1298 - -10/177. Are 0 and j equal?
False
Let z = -8 - -4. Let w be (-30)/z - (-1)/(-2). Is w at most as big as 5?
False
Suppose -5*x + 118 = 48. Is x bigger than 14?
False
Let q = -6839 + 6853. Let p be 15/(-3*2/(-4)). Is q bigger than p?
True
Suppose -m + 3 = -0*m. Let n(i) = 1 + 0*i**2 - m*i**2 + 11*i**2 + 0. Let j be n(-1). Which is smaller: j or 8?
8
Let o = -22 - -11. Let w be o + 9 + (28 - 0). Which is bigger: w or 25?
w
Suppose -90 = -5*n - 35. Suppose 2*s - 4*k = -20, -3 = 2*k - n. Let j be s/(-10)*(-4 - -16). Is j equal to 3?
False
Let h = 16.52 - 15.3. Let x = h + -0.22. Which is smaller: 5 or x?
x
Suppose -3*u - d = -247, -3*d - 84 = -2*u + 99. Let r be (-4)/14 + (-95)/u. Let h = 281/156 + r. Is -1 < h?
True
Suppose -5072*y + 5652 = -5081*y. Which is smaller: -629 or y?
-629
Suppose 5*v - 2*q = 3*q - 50, -5*v - 66 = -q. Let b be (-7)/v - 6/(-4). Suppose 3*i = -b*i. Which is bigger: 3 or i?
3
Let l = -2057.2 + 2057. Is -34 equal to l?
False
Let q = -2442 - -2395. Let l = -51 - -4. Are l and q equal?
True
Let w = 31 - 249/8. Suppose 0*b = -4*z + 3*b, -b = -4*z. Let v(d) = 2*d + 1. Let c be v(z). Is c at most as big as w?
False
Let d be 2*2/(-4)*47. Let n = 30 + d. Let f be ((888/(-160))/(-37))/(6/16). Which is smaller: n or f?
n
Suppose -12 - 13 = -5*f, 5*f - 283 = a. Is -260 equal to a?
False
Let w = 329 - 189. Do 141 and w have the same value?
False
Let d = 14 - 16.4. Let x = d + 3.4. Which is greater: -3/8 or x?
x
Let o = -0.34 + -1.28. Let u = o - -1.42. Are -0.37 and u non-equal?
Tr