-984). Let x = t + 101/656. Is -1 != x?
True
Let n = 1278049/301 - 4246. Is n at most as big as 1?
True
Let c be -886*3*(-5)/30. Which is smaller: c or 441?
441
Let w = -3 + 2. Suppose 3*q + 34 = o, 5*o + 10 = -2*q - q. Let v be q/(-138) - (-3)/(-9). Do w and v have the same value?
False
Suppose 5*h - 5*z - 41 = 14, 2*h - 4*z - 30 = 0. Suppose 0 = -x - 1 + h. Suppose -2*o - x = -4. Is o greater than 0?
False
Suppose 5*z = 10*z + 45. Let y be (144/(-30))/(z/(-30)). Which is greater: y or -0.2?
-0.2
Let k = 129 + -170. Is k > -44?
True
Let t = 0.01 + 0.02. Suppose -2*p + x - 25 = 0, p + 20 + 15 = 5*x. Let k be (p/125)/((-1)/(-5)). Which is greater: t or k?
t
Let f = 1772 + -1918.1. Let v = f - -146. Are 136 and v nonequal?
True
Let i be 3 + (8/10)/((-3)/15). Let z = 11457/344 + -267/8. Which is greater: i or z?
z
Suppose 5*o + 263 = 5*t + 13, 5*t - 259 = -4*o. Is t equal to 56?
False
Let n = 4 - 4.3. Let z be 6/(-111) + (-362)/(-6697). Do n and z have the same value?
False
Let k be (-49 - 0)*(136/(-16) - -9). Is k greater than or equal to -24?
False
Let z(w) = 4*w + 6. Let f be z(-6). Let b be (1/2)/(f/(-8)). Suppose -j + 4 = 4. Is j smaller than b?
True
Let q(b) = -3*b - 54. Let l be q(-17). Are 1/17 and l non-equal?
True
Let w = 472 + -13686/29. Suppose 24 = 2*q - 0*q. Let n = 12 - q. Which is bigger: w or n?
w
Suppose -4*q + 0*t = t - 64, 5*t - 64 = -4*q. Suppose 2*j - 2*p = 48, -5*p = 3*j - 0*p - 72. Let k = 41 - j. Is k > q?
True
Suppose -q + 7*q = 6. Suppose 2*v - 7 = -q. Which is smaller: 1 or v?
1
Let i = -146.041 + 146. Is i at most as big as 2/5?
True
Suppose 394*x - 396*x = 0. Is x greater than -17?
True
Let b be 3/5 + 14/(-210). Which is smaller: 1 or b?
b
Let p = 6 + -4. Let n be 3 - 0/p - 5. Let w = n - -7/4. Which is greater: 0 or w?
0
Let c = -944808762421/16986 - -55622793. Let d = c - -2/447. Let x = d + 1/19. Is 1 at most as big as x?
False
Let k be ((-10)/(-8) - -2)/((-67)/(-1541)). Which is bigger: k or 75?
75
Suppose -323 = 7*q - 1289. Let f = q + -131. Which is greater: f or 0?
f
Let q be (-1 + (-183)/(-171))*4/184. Let k = -3641/437 - q. Which is bigger: -8 or k?
-8
Let l = 6310 + -1034843/164. Which is greater: l or 0?
0
Let u be (-555)/708 - (-7)/14. Let w = -1/515 - -1089/30385. Let k = u + w. Are 0 and k equal?
False
Let k = -1.8 - -4.8. Let b = 2 - k. Which is smaller: b or -0.02?
b
Let y = -18 + 10. Let z = 11 + y. Suppose z*b - 9 = 0, -5*b = 2*u - 6 - 11. Which is greater: -1 or u?
u
Let c(h) = h**2 - 3*h - 30. Let v be c(7). Is -63 less than v?
True
Let i be 16 - (-6)/(3/1). Let u be i/8 + (-1)/4. Let o be 310/150 - 2/5. Is u != o?
True
Suppose 52 + 8 = 2*c. Let q = 48 - c. Suppose w - 2*g - 8 = 0, 5*w - 2*w + 5*g - 68 = 0. Which is smaller: q or w?
w
Let o = 1179 - 17683/15. Which is smaller: 1/7 or o?
o
Let q be (-3)/(-9) + (-51)/27. Suppose 2*v = -6*m + 7*m + 2, 12 = 4*v. Suppose 3*z - m*l = -0*l + 11, -l = 3*z + 14. Is z at least as big as q?
False
Suppose -4*p = 9 - 201. Is -3 bigger than p?
False
Suppose 0*i = -3*i + 2*m - 4, 4*i + 7 = m. Let j be (0 + -5)/(i/(-2)). Is -1 bigger than j?
True
Let v(b) = b**3 - 4*b**2 + 2*b + 4. Let u be v(3). Which is greater: 3 or u?
3
Let i be (-2 + (-2348)/8)/(4 + -1). Which is bigger: -100 or i?
i
Let v be (-2232)/20 + 24/(-60). Is v greater than -1010/9?
True
Let l be 457 + (8/(-20))/((-6)/(-90)). Which is smaller: 453 or l?
l
Let x = 0.064 - 2.864. Let k = x - -2.9. Is k > 3.5?
False
Let y be 9888/20 - (-87)/145. Which is bigger: 494 or y?
y
Suppose 0 = 4*f + 181 - 21. Let t be (-4)/1*(-924)/(-88). Is t greater than f?
False
Let y be 1/16 + 359/400. Does y = 2?
False
Let r = -52 + 37. Let q be -3*(-5 - 0)/(-1). Is r > q?
False
Let h be (-3)/(126/(-73)) - (-4)/(-24). Are h and 1/2 unequal?
True
Let m be (-12)/18*402/(-4). Let v = -64 + m. Which is greater: -6 or v?
v
Let f = 392 + -388. Which is greater: f or 1.4?
f
Let g = 6 + -4. Suppose -4*v + 2*v = g*z + 4, 3*v + 2*z = -3. Which is bigger: v or 2?
2
Let f = 3559 + -17871/5. Which is bigger: f or -16?
f
Let f be (2 + ((-16)/10)/1)*-15. Let v(h) = -h**3 - 6*h**2 + 4. Let w be v(-6). Suppose 2*c + 4*i = -24, 8 = -w*i - 0. Which is bigger: f or c?
f
Let y = 75 + -60. Which is greater: y or 6?
y
Let r be 0/((6 + (-1 - 2))/(-3)). Let w = -10/29 - -246/377. Is r not equal to w?
True
Let b = -1.997 - -0.097. Let d = -4.9 - -3.02. Let g = b - d. Is 2 at least as big as g?
True
Suppose -244*o + 99 = -245*o. Is 2 at most as big as o?
False
Suppose -2*n = -10, -3*n = 2*v - 7*v + 3565. Is v at most 716?
True
Let n = 1359 + -1358.92. Do 1.9 and n have the same value?
False
Suppose 2 = u, -3*o + u + u = 109. Let z = o - -35. Is -1/10 <= z?
True
Suppose -91*h + 96*h - 190 = -5*u, -2*h = -8. Which is bigger: -0.11 or u?
u
Suppose 6*m - 11*m + 45 = 0. Let i be m/3 + (-225)/35. Let n = 202/63 + i. Is n at most as big as 1?
True
Suppose n = 3*u - 0*n - 17, -2*u + 5*n + 7 = 0. Suppose -u*a = -a - 450. Which is smaller: 89 or a?
89
Suppose -22 = -5*o + 3*x, 2*o + 3*x + 7 = -1. Let u be ((-24)/(-14))/(o/7). Suppose 4 - u = -c. Are c and 1 nonequal?
True
Let s = -1800 - -1797. Let z = 0.07 - -0.83. Let r = z + 0.1. Is s smaller than r?
True
Let v(o) = 22*o - 7. Let d be v(1). Is 17 greater than d?
True
Let d = -31 + 36. Suppose -d*m + 13 = f + 4, -3*m + 53 = 4*f. Suppose 3*h + 15 = 0, -4*a - 1 = 2*h + 9. Which is smaller: a or f?
a
Suppose -4*n - 3 = -11. Suppose n - 15 = -v. Let w be v*-1 + 5 + -1. Is 0.1 at most w?
False
Let z = -3 + 7. Suppose n + 4 = -3*s, 3*s - 16 = -0*n + z*n. Which is smaller: s or -2/13?
-2/13
Let d be -2*(-1)/(-13) - (-270)/234. Suppose 4*a + 210 = 2*a. Let t be (-12)/a - (-2)/7. Is d != t?
True
Let c = 740/47 + -164644/10481. Does 0 = c?
False
Suppose 143 = 4*d - 3*z, 2*d + 2*d - 4*z - 140 = 0. Does -2 = d?
False
Suppose y - 17 + 6 = -5*z, 4*z - 12 = 0. Let h(x) = -x**2 - 4*x + 2. Let g be h(y). Let s = 1 + 1. Is g equal to s?
True
Let l = 109 - 101. Suppose b = -0*b - l. Which is smaller: -5 or b?
b
Let t = 3.089 + 0.111. Is 3 smaller than t?
True
Suppose 2*m = -2*m + 524. Let j = 196 - m. Let v be (-10)/j - 22/26. Is v equal to -7?
False
Suppose -4*k + 7 + 21 = 0. Let i = 1 - -4. Suppose -4*w + 15 = i*r, 5*r - 2*w = -k*w + 20. Is -1 at most as big as r?
True
Let o = 22 - 15. Let d = o - -3. Let i = d + -10. Are i and 1 non-equal?
True
Let d = 32 + -47. Let i be ((-1)/3)/(5/d). Let a = 769/26 + -59/2. Which is smaller: i or a?
a
Let h be 380/30 + 1/3. Suppose h = t + 3*i, -t - 3*i + 20 = t. Suppose -4*s + j + 32 = 0, 2*j + 13 = 4*s - 15. Is t at most as big as s?
True
Suppose -3*h - 22 = -19. Let a be ((-4)/32)/(0 - h). Let f = -0.2 + 1.2. Is f < a?
False
Suppose 0 = 23*i - 27*i + 32. Let g be ((-24)/10)/((-3)/10). Does g = i?
True
Let b be (-24)/(-252)*1/9*3. Is b > -2/5?
True
Let o(w) = 11*w - 198. Let d be o(18). Which is smaller: 1/71 or d?
d
Let t(b) = b**2 - 7*b + 2. Let y be t(7). Let v(d) = 3*d - 36. Let h be v(12). Let i be (-3 - -3)*1 + h. Is y > i?
True
Let c = 393 - 392. Is c bigger than -5/48?
True
Suppose 0 = -3*n - 62 + 59. Let g = -2580/7 - -368. Which is smaller: g or n?
n
Let g be (351/15)/(-1)*(-28)/1470. Let z = g - 4/25. Which is smaller: z or 0?
0
Let c(m) = m**3 + 7*m**2 - 29*m - 206. Let f be c(-7). Let k be 3/(-9) - (-30)/9. Suppose 3*y + k*r = 0, 3 + 2 = r. Which is bigger: y or f?
f
Suppose -8*u - 1825 + 1521 = 0. Is u < -51?
False
Let a = 349 - 391. Which is bigger: a or 0?
0
Let b(u) be the third derivative of u**5/60 - u**4/8 - 7*u**3/6 + 11*u**2. Let v be b(4). Let c = -1 - -2. Is c smaller than v?
False
Let c be ((-6)/(-8))/(2/(-16)). Suppose -2*w - 5 = -5*s, 3*w - 2*w - 2*s + 1 = 0. Let r be 9/(w + -6)*2/3. Is c > r?
False
Let m(y) = -5 - y - y + 0 - 7. Let l be m(8). Which is smaller: -27 or l?
l
Let y be (-10)/(-6)*(447 - -15). Is 769 bigger than y?
False
Let f = 492 - 493. Suppose 2*r + 2 = 4*r. Which is smaller: r or f?
f
Let s = 73 + -40. Let i = 34 - s. Is 2/57 at most as big as i?
True
Suppose 5*a = -v - 14, -4*a = 5*v - 6*v + 13. Let n be (-3)/36*(-16)/6. Is n at most as big as v?
True
Let v = 1009 - 986. Do 18 and v have the same value?
False
Let n(o) = -o. Let a be n(-4). Let b be 1*(a/(-12)*-3 - 0). Which is bigger: b or -12?
b
Let h be ((-8)/14)/((210/(-49))/(-5))