 2 + (-3)/4. Are u and -2353 unequal?
True
Let t = 49 + -46. Let b be 7 + (t - (-4)/(16/(-4))). Suppose 7*a + b = 6*a. Is a > -9?
False
Let b be (-5 - (-105)/10)/((-4)/(-768)). Let o = -706 + b. Is 350 less than o?
False
Let o(m) = -8*m**2 + 108*m - 58. Let w be o(13). Let n be (-8)/12 - 1227/(-205). Let a = -3/205 - n. Is w >= a?
False
Let m be (-10)/11 - (0 + 0). Let w(h) = -4*h**2 + 2*h + 2. Let u(k) = -3*k**2 + 2*k + 2. Let o(v) = -6*u(v) + 5*w(v). Let a be o(-1). Is a less than m?
True
Suppose -5*b - 12 = -2*m, -m = 2026*b - 2029*b - 7. Let p = 4 - 1. Suppose -3*s - p = 3. Are s and m equal?
False
Suppose -46*a - 3 = 52*a - 101. Which is smaller: 11/116 or a?
11/116
Let a be (-4)/(-12) - (-483)/9. Let z(l) = 33*l**2 - 1. Let i be z(1). Let y = i - a. Does y = -21?
False
Suppose 5*v + 9455 = 5*i, -3*i = -52*v + 53*v + 1867. Is v less than -3?
True
Let n(l) = l**3 + 6*l**2 - 17*l - 6. Let p be n(-8). Suppose u + 6 = 2*i, -3*u - 10 = p*i - 4*i. Let v be (-1 + 1)*-1*1/i. Does v = -3/52?
False
Let h be -41 - -46 - (-121)/(-22). Is h greater than or equal to -450.8?
True
Let o = -154 + 156. Let c = -322.82 + 323. Is o at most c?
False
Suppose 4*j = r - 9, 6*r = 9*r + 3*j - 12. Suppose 4*g - 26*b + 23*b = -412, 0 = 5*g + r*b + 515. Is g less than -102?
True
Let m be ((-73329)/(-2))/((-9)/(-24)). Let d = m + -18576723/190. Let k = d - -1/38. Which is smaller: k or 7?
k
Let z = 1805 + -1624. Which is bigger: z or 11?
z
Let h = 2112 - -294. Which is smaller: 2405 or h?
2405
Suppose 3*i - 1164 = 603. Let n = i + -92. Which is greater: n or 498?
498
Let x = 5403/416 + -471/32. Is -3 greater than or equal to x?
False
Let m be (-8)/5 + 171/(-45) + 5. Is -1081 less than m?
True
Let h = -433 - -377. Is -50 >= h?
True
Let l = 8641 + -34565/4. Which is smaller: 425/2 or l?
l
Let j be (-574)/(-776) - (-6)/(-8). Suppose 5*m - 63 = 8*m. Let q(p) = -p**3 - 19*p**2 + 42*p - 1. Let n be q(m). Which is smaller: n or j?
n
Let i = -125747/63 - -1996. Is i at most as big as 0.3?
True
Let t be (0 - (-1)/(-9))*(-2)/106. Let x = 350 + -349. Is t < x?
True
Suppose 0 = -2*c + 5*o - 4, 0*o + 5*o + 5 = 5*c. Suppose -m + 162 = -2*a, -c*a = -4*m + 360 + 303. Which is smaller: m or 170?
m
Let o(v) = -v**3 - 6*v**2 + 5*v - 10. Suppose -5*h = -24 + 64. Let m be o(h). Which is smaller: m or 79?
m
Let w be 0 - (-4)/(4/3). Suppose w*s + 2*x - 24 = 0, 2*s - 3 = 4*s - 5*x. Let k(t) = -t**3 + 8*t**2 - 8*t + 4. Let h be k(s). Is h at most 27?
False
Let r be 3/21 - (-43)/(-14)*2. Let l be (r/9)/(((-108)/(-21))/6). Which is smaller: l or 0?
l
Let q be ((-951)/6 - 2) + 6/60*-15. Suppose 669 = -7*b - 451. Which is smaller: b or q?
q
Suppose -10*x - 50 = -13*x + o, 0 = x + o - 14. Suppose x - 12 = 4*f. Let m be (-28)/(-98) - (-1)/(-21). Which is bigger: f or m?
f
Suppose 4*w = -4*j + 124, -4*j + 3*w - 376 = -472. Let d = 65 + -42. Which is bigger: j or d?
j
Let d be (-16)/(-32)*(1 + 2 - 1). Let t be d + (-869)/30072*(4 + 30). Let f = t + -1/179. Is -1 greater than or equal to f?
False
Let q = 19942/53145 - -3/1181. Let z = q + -2/45. Which is bigger: z or -376?
z
Let s be (-12 + (-13600)/48)*(1 - (-1 + -1)). Which is bigger: -878 or s?
-878
Let v be -8 - (6344/42)/(-13). Is v at least as big as 4?
False
Let d be (-14 + 297/22)/(21/66). Does d = 63?
False
Suppose n + 36 = 4*n - 3*t, -2*n + 36 = 2*t. Let z = n - 21. Let p(j) = -2*j. Let r be p(2). Which is greater: r or z?
r
Suppose i - 1 = u, u - 19 = -0*i - 4*i. Let z be ((-135)/(-18) - 8)/((-2)/i). Let l = 4/3 + -31/21. Which is smaller: l or z?
l
Let q = 27913/247 + -113. Let v = -737/494 - q. Is v less than or equal to -1/9?
True
Let s(j) = j**3 - 10*j**2 - 3*j - 10. Let l = 26 + -21. Let m be s(l). Let n be 16/20*m/4. Which is bigger: -31 or n?
n
Let a be -8 + 3 - ((-102)/(-3) - 2). Which is smaller: -3/7 or a?
a
Suppose 5*a - 7 = 33. Suppose -13*u + 16*u - 51 = 3*o, -3*u - o = -35. Suppose -u*t + a*t + 25 = 0. Is 4 less than or equal to t?
True
Let v be 321 + 90/40 + 2/(-8). Let j = v + -327. Are -6 and j non-equal?
True
Let y be (6/(-30)*-5)/(-1). Let n = 51.059 + -0.059. Do n and y have different values?
True
Let b be ((-3)/(-8))/((-6)/4). Let r be (-3)/((-6)/(-16)*-6)*-3. Let y be 2*(-69)/33 - r. Is b less than or equal to y?
True
Suppose -3*t + 5*c + 811 = 0, -5*c - 1285 = -5*t - 10*c. Suppose 5204*u + 1052 = 5208*u. Which is greater: t or u?
u
Let s = -201 - -199.74. Let x = s + 1.36. Does -78 = x?
False
Let t = -33.8 - -5.8. Let z = 20640 - 20644. Is t equal to z?
False
Let b be ((-6)/104)/(1104/(-78752)). Do b and 5 have the same value?
False
Let q = -26 - -58. Let w = 65 + q. Let z = -70 + w. Which is bigger: z or -2/9?
z
Suppose 0 = 4*b - 68 + 20. Suppose 0 = 8*t - 2*t - b. Suppose t*z = 3 - 13. Which is smaller: -8 or z?
-8
Let y = -14050 - -15247. Is y at least as big as 1199?
False
Let q = -3.735 - -84.615. Let d = -0.12 - q. Let z = -81.04 - d. Which is smaller: 0.05 or z?
z
Let f be 4 + 2 + -8 + 1 - -93. Is f at most as big as 56?
False
Let t = -0.05872 - 1.94128. Which is smaller: -0.07 or t?
t
Suppose 4*r - 116 = -3*d, 226*r - 5*d = 230*r - 132. Let s = 16 - -8. Which is bigger: r or s?
s
Let k(x) = 27*x**2 + 28*x - 53. Let n be k(16). Let m = n - 4157682/569. Does m = -1?
False
Let o be 6*(0 + 1) + (-5 - (-12 + 13)). Which is bigger: o or -18/611?
o
Suppose 100*f = 91*f - 360. Let s = 34 + -30. Do f and s have the same value?
False
Let q be (-10416)/(-310)*10/4. Let v be (-42)/(-4)*(q/27)/4. Are 7 and v equal?
False
Let q(i) = i**3 - 6*i**2 + 7*i + 9. Let j be q(4). Suppose j*p = 28 + 27. Let t = -28 + p. Is -17 at most as big as t?
True
Let n = -0.003 - 52.097. Let a = n + 52. Let d = 532 - 530. Do a and d have the same value?
False
Suppose -4*z - 947 = -5*o, 3*z - 1225 = 8*z + 2*o. Let r = z + 190. Is -52 not equal to r?
True
Let u(o) = 3*o - 82. Let d be u(34). Suppose 6*r = 10*r - d. Does 5 = r?
True
Let f be 1/(3/(-9)) - (-394)/(-3). Let k = -134 - f. Which is smaller: 2 or k?
k
Let o be -365 + (-126)/(-21) - -22. Which is smaller: o or 34?
o
Let j(t) = -636*t + 2793. Let g be j(5). Is -0.1 not equal to g?
True
Let i(s) = -4*s - 27. Let g be i(-8). Suppose -g*d - 2*v - 22 = 0, 2*d + 0 = 2*v - 6. Let k be 29768/(-10980) + (-2)/5. Is d at least as big as k?
False
Let i = 23 + -23. Suppose 2*x - 4*b - 26 = i, -3*x - 4*b = -b - 39. Suppose -8*u + 22*u = 196. Which is smaller: x or u?
x
Let j be 8862/(-27)*(-117)/33. Suppose 1163 = c + d, 8*c - 3*c - 5*d - 5825 = 0. Let m = j - c. Which is bigger: m or 0?
0
Let g(a) = -82*a - 5. Let m be g(-1). Let i = m - 76. Let o = 100/9 - 1391/126. Which is greater: o or i?
i
Let v = -204.6 - -236. Let k = -31.1 + v. Is k less than 1?
True
Let r(a) = -a**2 + 5*a - 12. Let l = -71 - -109. Let f = -34 + l. Let v be r(f). Which is smaller: -4 or v?
v
Let o = 1 + -2/3. Let k be ((-1)/(-1))/(35/(-21)). Is k less than o?
True
Let x be 1/5 - 87/(-15). Suppose -x*h + 4*h - 5*n + 98 = 0, -4*h + 220 = 4*n. Suppose 67 + h = -9*q. Is -12 at most as big as q?
False
Suppose -22 = -4*v + 3*k, 422*v + 4*k = 427*v - 29. Let n = 52/55 - 4/5. Which is greater: v or n?
v
Let j = -233 - -244. Let f(u) = -2*u**2 + 19*u + 33. Let x be f(j). Is x > 1/25?
False
Suppose -3*p - 2*p = 30. Let m = 19 - p. Let l = -4735 + 4759. Which is smaller: l or m?
l
Let s be 2/(-10)*(-33 - 2). Let w be (-1 - -6) + (0 - 3). Suppose -w*u = -4*g, -s*g = -u - 2*g. Are u and 5/8 unequal?
True
Let k = -0.169 + 114.169. Let u = k - 118. Let r = 0 + -12. Which is smaller: u or r?
r
Let v = -203/625 + -341623/68125. Which is greater: v or -4?
-4
Let l be ((-33)/9 - -4)/(1/9). Suppose m - l*m = -5*x - 27, -5*x = 5*m + 20. Let a be m/(-2)*(-4 - 9/(-2)). Which is smaller: -0.9 or a?
-0.9
Let s = -4388 + 3619. Is s >= -769?
True
Suppose 5*r - 5 - 15 = 5*q, 0 = 5*r - q - 32. Suppose 3*h + 37 = 4*g, -23 = -5*g + h - 5*h. Do r and g have the same value?
True
Let w = 8510 - 8510. Let t(g) = -g**3 + 3*g - 1. Let f be t(2). Let a be (-588)/297 - (f - -1). Is a greater than w?
True
Let t = 264 + -478. Let r = t - -212. Is r at least as big as -2?
True
Suppose 6*b - 969 = 1167. Let h = b + -361. Which is greater: -38 or h?
h
Suppose 25*r = 20*r + 1985. Let h be (957/45 + -4)*-23. Let q = r + h. Does -0.2 = q?
False
Let r = 19092917/4207