
Let z(t) = -2*t**2 - 38*t + 94. Let n be z(-22). Suppose -34 = u - x, -u - 3*x = 2*x + 52. Is u at most n?
False
Let d(i) = -3*i - 4. Let j be d(-3). Suppose 2*g - j*f + 2 - 3 = 0, 0 = 4*g - 2*f - 10. Let v(u) = -u**2 + 3*u. Let z be v(g). Which is bigger: z or -1?
z
Let s = -7.79 + -0.21. Let n = -7.89 - s. Let o = n - -0.19. Is 0.3 greater than o?
False
Let t = 15 + -73. Let u = t - -56. Is u > 2/5?
False
Let d = -415 + 289. Let x = 126.1 + d. Which is bigger: x or 2/9?
2/9
Let k = -553/185 - -7/37. Suppose -14*n + 84 = -35*n. Is n not equal to k?
True
Let o be -17 + 21 + -143 + 2. Which is greater: 1 or o?
1
Let i be (-12)/20 - 216/15. Let v be i/(-12) + (-4)/4. Which is greater: -8 or v?
v
Let b(z) = 6*z + 153. Let p be b(-30). Are -2 and p equal?
False
Suppose 0 = 15*s - 572 + 4502. Which is smaller: -261 or s?
s
Suppose -463 - 37 = -w. Which is bigger: w or 501?
501
Let m = -0.0908 - 0.1092. Let z = 0.0446 - 2.0546. Let d = -0.01 - z. Which is smaller: m or d?
m
Let g = 1057245 - 17967574/17. Let j = -329 + g. Do -0.5 and j have the same value?
False
Let y = -5/644 + 2029/178388. Which is smaller: y or -1/2?
-1/2
Let y(d) = -2*d**3 - d**2. Let k be y(-2). Suppose 0 = -4*v - 48 - 4. Let h = v + k. Is -1/10 smaller than h?
False
Let p = -42.2 - -405.2. Is 1 at most p?
True
Suppose 2*g + 3*i + 2 = 0, 2*g + 0*i - i - 6 = 0. Let q be (g/10)/(13/26). Let s = -3 + 2. Which is smaller: q or s?
s
Let h(b) = 7*b**2 + 24*b - 27. Let t be h(-9). Is t at most as big as 324?
True
Let u = 14 + -15. Let d(h) = 5*h**3 - 1. Let i be d(u). Is i greater than or equal to -2?
False
Let x be ((-16)/18)/(-2) + 2/6. Which is smaller: x or 1?
x
Let p be 2/4 + 2/((-8)/(-26)). Do p and 6 have different values?
True
Let g be (-49658)/57918 + 24/28. Which is smaller: 1 or g?
g
Let u be 2/(-7) - 20/(-70). Let z(f) = -f + 4. Let w be z(u). Let c be -4 + 4 + (-2)/w. Is c greater than or equal to -3?
True
Suppose 3*j + 0 + 6 = 0. Let h(d) = -d**2 - 2*d + 13. Let l be h(0). Suppose -4*n - b - 2 = 0, -n - 4*b + l = -6*n. Are j and n non-equal?
True
Suppose a + 3*i - 69 = 0, 393 = 5*a + 4*i - i. Do a and 83 have the same value?
False
Let j(v) = -7*v**3 - 3*v**2 + 21*v + 3. Let t be j(3). Is -4 bigger than t?
True
Let j(q) = q**2 - 7*q + 5. Suppose -2*l + 5*v - 6 + 33 = 0, -l - 3*v - 3 = 0. Let n be j(l). Which is smaller: n or -0.11?
n
Suppose -k = -3 + 2, 2*k - 4 = -r. Suppose 0*p + 2*q = -p + 5, -8 = -2*p - r*q. Which is smaller: -1/3 or p?
-1/3
Suppose 0*c = -3*q + 3*c - 114, 3*c - 152 = 4*q. Let x = 59 + q. Suppose 0*b - 8 = -4*b - 2*d, 0 = 5*b - 3*d - x. Is b smaller than 3?
False
Let y = -1/6 - 1/30. Let a(p) = -p - 8. Let u be a(-9). Which is greater: u or y?
u
Suppose 0 = 2*p + 10, 3*r + 28 = -7*p + 8*p. Is r bigger than -14?
True
Let c = 14.16 - 0.16. Let l = c - 15. Suppose -5*t = -5*b + 45, 0*b - 5*b = 5*t + 45. Does t = l?
False
Let n = 9734879/524 + -18578. Let h = n - -1089/1834. Let d = 22/7 + h. Which is bigger: d or 3?
d
Let w be (-2)/(-4) - 2/(36/171). Let s = 4 + 1. Suppose -2*n - 4*h - 24 = -8*h, s*n + 49 = -h. Which is smaller: w or n?
n
Suppose -7*t + 5*t = -6880. Suppose 0 = -5*v - q - 3440, 5*v - q = 2*q - t. Let b = v - -10324/15. Which is bigger: -0.1 or b?
b
Let n be 22/(-6) + 4/6. Suppose -4*s + 18 = -10*s. Let k = n - s. Is k < -2?
False
Let z = 425 - 1277/3. Which is smaller: z or 298?
z
Let q be 3*50/(-54) - (-5 + 2). Which is smaller: 2.3 or q?
q
Let o = 66 + -148. Let c = o + 82. Which is smaller: 1/24 or c?
c
Let c be 1/2*(-18)/27. Let h = 0.01 - -0.11. Which is smaller: h or c?
c
Suppose -4*g - 259 = -5*i, -3*g + 192 = -5*i + 455. Which is bigger: 219/4 or i?
i
Let f(j) = -j**3 - 4*j**2 + 26*j + 8. Let n be f(-5). Is n bigger than 2/5?
False
Suppose 29 = 5*c - 31. Let t be ((-16)/c)/((-5)/9). Suppose 2*d = 4*m - 16, -4*m + 224*d - 226*d = 0. Is t at most as big as m?
False
Let k = -63 + 63. Let j = -4 - 11. Which is smaller: j or k?
j
Let s be ((-16)/(-40))/(28/(-105)). Let l be -13 - (0 - -1 - 2). Let u = -23/2 - l. Which is smaller: u or s?
s
Let b = -265 - -267. Do b and -160 have different values?
True
Suppose 0*q + 81 = -3*q. Let h = -24 - q. Which is bigger: 2 or h?
h
Let b be (-12 + 3)/18*467. Is -234 at least b?
False
Let a = 1.8 - -15.2. Let r = -43 + a. Let g = r + 22. Is 1/4 at least as big as g?
True
Let w be -1 - 8/(-4) - -5. Let g be 3/4*(-2)/w. Let i be (-6)/(-16)*34/(-51). Is g equal to i?
True
Let p be (-5)/((-15)/(-2)) + 3/(-9). Which is bigger: p or 4/19?
4/19
Let g = 95 - 97. Let a = 0.35 - -0.05. Which is smaller: a or g?
g
Let d = 3 + -2. Let x be (-1 + -9 - -11) + (1/(-2) - 2). Is x equal to d?
False
Let d = -1617 + 1617.1. Let w = 0.3 + -3.1. Let z = -4 - w. Is z at least as big as d?
False
Suppose -33 = 3*a - 66. Which is bigger: a or 1/4?
a
Let n = 323 - 320. Is n <= 27/14?
False
Let g = -75157/9 + 8282. Let r(l) = 10*l**3 - 2*l**2 - l - 1. Let t be r(2). Let a = g + t. Is a at most -1?
False
Let y = 37.909 - -0.091. Let k = -37 + y. Is 0.7 >= k?
False
Let u(t) = -t**2 + 23*t - 91. Let w be u(16). Which is smaller: w or 29?
w
Suppose 4*n = 4*i - 72, 7*n + 2*i + 44 = 4*n. Is -117/7 at most as big as n?
True
Let o = -104377/1940 - -269/5. Is o not equal to -1?
True
Let w = -0.41 - -9.41. Is w less than or equal to 4?
False
Let q(a) = a**3 - 19*a**2 - 119*a - 62. Let n be q(24). Are -43 and n non-equal?
True
Let o = -123/4 + 6913/228. Let k = -5/19 - o. Let g be 0/2 - (-1)/(-1). Is k bigger than g?
True
Let g be 4/(-5)*(0 - 5). Suppose 0 = -g*r + r. Let n be (-4)/(-32) - 1/4. Is r at most as big as n?
False
Let j = 9 + -6. Suppose -46 = -2*n + 4*d + 18, -17 = -n - j*d. Let m = 132/5 - n. Do 4/7 and m have the same value?
False
Let d = 757/5 - 152. Let q(h) = h**3 + 11*h**2 + 2*h + 23. Let w be q(-11). Let f be (w/(-2)*0)/(-4). Is f less than or equal to d?
False
Let k(t) = 113*t + 678. Let v be k(-6). Is -272 <= v?
True
Let v = 29 - -199. Which is smaller: v or 229?
v
Let t be (-21)/(-189) - 74/18. Let y be (1/2)/(2/t). Which is greater: 0 or y?
0
Let u(h) = -h**3 - 15*h**2 - 90*h + 1. Let s be u(-9). Is 324 bigger than s?
False
Let o be (-10)/(-6)*(-4)/10. Let k = -0.052 - 31.948. Let z = k + 31.9. Which is smaller: z or o?
o
Let h(b) = -2*b**2 + 35*b + 23. Let l be h(12). Do 155 and l have the same value?
True
Let i be -2 - (2 - (-10195)/(-2550)). Do -1 and i have the same value?
False
Suppose 0*r - 120 = 5*r. Let j = r - -35. Is -2 <= j?
True
Suppose 2*q - 20 = -12. Suppose 2*p + q = -2. Suppose -2*g = 2 + 4. Does p = g?
True
Let x be 4 + -1 + -4 - 3. Let a be 15/(-100)*x/(-7). Let l = a + -23/140. Which is bigger: l or 9?
9
Let v(f) = 5*f + 11. Let z(b) = -6*b - 10. Let d(m) = -5*v(m) - 4*z(m). Let x be d(-5). Let u be 3*(-1)/(-6)*x. Is -5 at least as big as u?
True
Suppose -15*c + 11*c = 0. Suppose c = -5*v + 2 - 7. Which is smaller: -10/7 or v?
-10/7
Let z = 24 - 35. Let b(j) = j**3 + 11*j**2. Let x be b(z). Let v = -115 + 808/7. Is x bigger than v?
False
Suppose -671 = -5*x - 161. Let u = 82 - x. Is u > -22?
True
Suppose -x + 243 = -2*l + 724, x = -3*l + 729. Do 242 and l have the same value?
True
Let d = 358 - 913. Which is bigger: d or -554?
-554
Let p = 20 - 26. Let j be p - 6/5*(-70)/(-21). Which is greater: j or -19/2?
-19/2
Let g = -822 + 4126/5. Which is smaller: g or -1?
-1
Let z = 0.9 + -5.9. Let i = z - -9. Let g = -4.35 + 4.35. Is g at most i?
True
Let u(j) = -6*j - 2*j**2 - 10 + j**2 - 2*j. Let o be u(-6). Suppose 5*c = -3*t - 7, -c + o*t = 6 - 2. Is -7/5 smaller than c?
False
Let t be -1*3*4/6. Let z = -455 + 454. Which is smaller: t or z?
t
Let y be 212/10 - 12/(-15). Is y >= 15?
True
Let z = 27 - 16. Let a be (1 + -2 + 0)*-11. Suppose h - z = 3*k, -3*k - 6 - a = 5*h. Is -6 <= k?
True
Let i be (-2 + 62)*10 + 11. Is i != 609?
True
Let r = -1353 + 1345.97. Let b = 7 + r. Let x = b + -0.97. Which is greater: x or -0.01?
-0.01
Suppose 3*l = 4*y - y + 6, 0 = -3*y + 4*l - 9. Let n = -5.2 - 0.8. Let u = -7 - n. Which is greater: u or y?
y
Let p be 1284/22 + (-10)/(-5) + -4. Which is smaller: p or 56?
56
Let s be 24050/(-42406) + 4/(-7)*-1. Which is greater: s or 0?
s
Let a be ((-16)/(-72)*2)/(4/18). Suppose 0 = x, 3*c + 2*x - 24 = 6*c. Let b = c - -11. Is a > b?
False
Suppose w - 11 = -0*w. Let d 