 x be 3/u + 0 - 7326/(-165). Is j != x?
True
Suppose 516 = 38*o + 176 - 268. Suppose 4*u = -3*b + 28, -4*u = 2*b - 6*b. Suppose -b*w + 16 = -3*w. Is w at most o?
True
Let g = -0.0487 - -40.0487. Is g at least -7/3?
True
Let c be 8/48*(1 + (4 - (2 + -1))). Which is smaller: -29.8 or c?
-29.8
Let d = 38781 + -36238. Is d not equal to -2/13?
True
Suppose -5*f + 10*f = -4*c - 169, -2*c - 77 = -5*f. Let i = c + 45. Suppose 31 = -3*u + 5*a, a - 7 = -i*u - 33. Which is bigger: u or -10?
u
Let r(j) = -2*j**3 - 10*j**2 - j + 4. Let a be r(-5). Suppose 13*b - a*b = -104. Let w be (-5)/b - (-2)/(-4). Do w and 1 have the same value?
False
Suppose -5*i + 157*n = 160*n + 136, i + 5*n + 14 = 0. Which is smaller: -205/7 or i?
-205/7
Let g be 4/(-40) + 0 + (-45)/50. Let q be (368/2 - -2)*g. Is -187 >= q?
False
Let j = 1124 + -1118. Suppose -z + 3*g = -17, -15 = z + g + 4*g. Suppose 22 = 5*w + t + 2*t, -4*t + 21 = z*w. Is w >= j?
False
Suppose 1 = -4*h + 5. Let a be -4 + (-7)/(-1) - h. Suppose -i = -5*j - 2*i - 23, 2*i = -a*j - 6. Is j greater than -5?
False
Suppose 39*n - 101639 = -15*n + 13*n. Which is smaller: 2480 or n?
n
Suppose -10215 = -5*w - 5*g + 31000, -w - 4*g = -8225. Which is bigger: w or 8247?
w
Let o(m) = -m**2 + 7*m - 10. Let w be o(5). Suppose 4*b = -w*b + 56. Suppose 0 = 19*n - 216 - 69. Which is greater: n or b?
n
Let a(x) = -2*x**2 - 20*x + 18. Let z be a(-9). Let r be -8 + 4 + z/8. Which is bigger: r or -1.45?
r
Let g(q) = 295*q - 1752. Let s be g(9). Which is greater: 907 or s?
907
Let v(t) = 5*t**3 + 2*t**2 - 3*t + 31. Let j be v(5). Suppose j + 119 = -30*n. Is -24 < n?
False
Let q = -476.7 + 460. Let w = 68.7 + q. Are w and -2/3 equal?
False
Let o = 21801 + -34078. Is -12276 greater than or equal to o?
True
Suppose 3*g = 4*g. Suppose g = -9*y - 39 + 12. Which is bigger: -13/6 or y?
-13/6
Suppose 2*p - 5*c - 52 = -16, p + 3*c = -15. Which is greater: p or 29?
29
Let a = 20 - -2. Suppose -30*x + 37*x = 3213. Let q be x/18*(-1 + 68/36). Does q = a?
False
Let c = -658.366 + 658. Let d = c + -0.634. Which is smaller: d or -98?
-98
Let x be (5 - 284/60)/(20658/165). Is x not equal to -2?
True
Let d = 54767 + -112820023/2060. Which is bigger: d or -1?
d
Suppose 425*v = -8*v + 18751 - 1431. Suppose -5*f + 164 + 71 = 0. Which is smaller: f or v?
v
Let h be 3/(-14)*(17 + (-3480)/200). Suppose -3*z + 4 = 2*z + 2*r, 3*r - 6 = 0. Which is smaller: h or z?
z
Let s = 209 - 635/3. Suppose 4*k - 3 = 45. Suppose c = -2*c - k. Which is smaller: s or c?
c
Let i = -53/5 - -386/35. Which is smaller: -255 or i?
-255
Let u = -17255 + 17286. Which is smaller: -4 or u?
-4
Let z be 3 + ((-52)/(-9) - 4/(-18)). Let k be (z/135)/(2/18). Let n = 23 + -25. Are n and k equal?
False
Suppose 0 = -y - z + 3, -z - 13 + 16 = 0. Which is smaller: 2/2359 or y?
y
Suppose 7*s + 10*s - 204 = 0. Let o be 2/(-2)*-4*(-37)/s. Which is greater: -12 or o?
-12
Let u(p) = 2*p + 22. Let n be u(-11). Let j = 919/329820 + 1/1195. Which is smaller: n or j?
n
Let n = 1.69 + 18.91. Let p = 18.8 - n. Which is smaller: 2/13 or p?
p
Let m be (16/18)/((-48)/(-180))*(-26)/(-1248). Let r be (-1)/(-1) - 1/2. Which is bigger: r or m?
r
Let v be (14/6)/(1/6). Suppose 0 = -4*u + 5*g - 6 - v, 4*u = 2*g - 32. Let c(b) = -b**3 - 9*b**2 + 10*b + 5. Let n be c(u). Is 16/3 < n?
False
Let p = 477 - 474. Suppose -2*y + 7*y - 50 = 0. Let r be (-25)/10*12/y. Which is greater: p or r?
p
Let d = -2490 - -4167. Let b = d - 122431/73. Is -1 equal to b?
False
Let f be (-9)/(-4) + 40/(-32). Suppose 4 = 5*r - 2*c + f, -4*r = c - 5. Let s = -4/27 - -160/351. Are r and s equal?
False
Let m(p) = 20*p - 1460. Let f be m(73). Let g be (7 - 1)*(-9)/(-306). Is g equal to f?
False
Let n(m) = -40*m**2 + 378*m + 1. Let v be n(9). Which is bigger: -0.3 or v?
v
Let h be 5 - (-6)/((-24)/76). Let k = h - -16. Let o be (182/(-14))/(1/k). Is o at most as big as -0.2?
True
Let w be 16/29*119/5474. Which is greater: w or 0?
w
Suppose 17*c - 3301 = -9523. Which is bigger: c or -369?
c
Let p be -6 + 4376/(-104) - (-4)/52. Does -80 = p?
False
Let f(a) = 423*a. Let i be f(5). Let h = i - 653533/309. Let k = h + 5045/309. Which is bigger: k or 17?
17
Let n(y) = -2*y - 8. Let t be n(-6). Suppose -2*o - 5*q + 67 = 0, t*o = -5*q + 180 - 31. Suppose 55 = 5*a, 3*a = -5*z + 1227 - 994. Which is smaller: o or z?
z
Let q = -16436 + 16435. Which is smaller: q or 3/2431?
q
Suppose 0 = 8*s - 250 + 2. Suppose -10*a - s = -51. Is a >= 5?
False
Let r = -19318/5 + 40606441/10510. Are 1 and r equal?
False
Let m(f) = -f**2 - 12*f - 1. Let p be m(-9). Suppose 2*j - 5*h = -2*h + p, -25 = -3*j + h. Which is greater: 9 or j?
9
Let p = -276934/1105 + 4260/17. Which is greater: p or -41/7?
p
Let j be 0 - -3 - ((1 - 2) + 4). Suppose 6*f + 0*f - 432 = j. Let p be (2/(-3))/(24/f). Is -8/9 > p?
True
Let g = -4390.682 - -4391. Are g and 2 non-equal?
True
Let i be 4/(-20)*0 + -6 + 3 + 3. Which is smaller: i or -15/62?
-15/62
Let j = -29 - -20. Let m be (j - -19)*4/10. Let b = 1773 - 1768. Which is greater: b or m?
b
Let q be (-251463)/135 - 5/25. Let w = q - -1866. Which is smaller: -1 or w?
-1
Let c(q) = -q**3 - 11*q**2 - 10*q + 2. Suppose 3*m = -0*m - 30. Let n be c(m). Suppose 7 = n*t - 9*t. Is t greater than 31?
False
Let x = 18 + -15. Suppose -51 = -x*h + 3. Let v = -3/77 - 1/7. Which is greater: v or h?
h
Let k be (10/(-14) - -1) + 5224/(-56). Let y = k - -173. Is 78 not equal to y?
True
Let v = 14773 - 14772.95818. Which is bigger: -2 or v?
v
Let h be (-2)/12 - (-4070)/(-60). Let l = 64 + h. Let d be (3/((-6)/(-4)))/(l/(-10)). Is 4 <= d?
True
Let j = -189 - -192. Suppose u = j*l - 3 - 2, -l - 3 = -5*u. Which is bigger: 2/3 or l?
l
Let d = 86191/9 - 9561. Suppose 0 = 85*l + 578710 - 580155. Which is bigger: d or l?
l
Let g = 65/259809 - 113923765/163160052. Let l = 18/157 + g. Which is smaller: l or 0.1?
l
Let n(d) = -25*d + 29*d - 9*d + 9. Let k be n(-3). Which is bigger: k or 22?
k
Let d be -1 - ((-32)/6 - (-2)/(-3)). Suppose -3*s + 0*w = w - 4, -2*s = d*w - 7. Which is smaller: s or 2/195?
2/195
Let l = 224 - -328. Which is greater: l or 551?
l
Let a = 42 - 23. Let v(w) = 2*w - 39. Let r(b) = b - 40. Let j(o) = -4*r(o) + 5*v(o). Let l be j(9). Do l and a have the same value?
True
Let h = -9827 - -2957943/301. Is 0 less than or equal to h?
True
Let m = 2861/27 - 24589/216. Suppose -3 = 3*o + 24. Is o less than m?
True
Let j = 0.89 - -0.11. Let x = 3.18 + -1.375. Let s = -0.195 - x. Which is greater: j or s?
j
Suppose -3*f + 10 = -4*v, 19*f - 9 = v + 15*f. Let q be v/(((-6)/(-2))/1) + 0. Is 33 smaller than q?
False
Let x = 1120.44 + -1120.4. Which is smaller: -1308 or x?
-1308
Let q = -3967/15 - -25797371/97545. Does q = 0?
False
Let h = -8142 + 8144.4. Is h at most as big as 97?
True
Suppose 2*n - 2*l - l = -260, 2*n + 3*l + 248 = 0. Let b = n + 130. Which is smaller: b or 7?
b
Suppose -10 = -2*g + 4. Let x = -2162 - -2169. Is g >= x?
True
Let l = -48511 + 48511. Suppose -40 = 3*w + 2*w. Which is greater: l or w?
l
Let u(r) = 2*r**3 - 7*r**2 + 10*r + 20. Let m be u(4). Which is smaller: m or 49?
49
Suppose x = -2*c + 5 + 22, -2*c = 5*x - 39. Let b = 12 - c. Suppose b = 3*d - 4*d + 15. Is 1 less than d?
True
Suppose 8*i + 4*z - 160 = 5*i, 120 = 2*i - 4*z. Let d be (8 - 200/i) + 3/(-7). Suppose d*q = -5*q. Which is smaller: 1/11 or q?
q
Let w(m) = -2215*m**3 - 4*m**2 + 2*m + 4. Let z be w(-1). Is 2212 at most z?
True
Let f(u) = 15*u**3 + 2*u - 1. Let z be f(1). Let g(l) = -41*l + 344. Let s be g(20). Let h = -459 - s. Which is smaller: z or h?
z
Let y be ((-13)/(-4))/((-3)/60). Let k be ((-5)/(-2))/((994/(-364))/71). Is k bigger than y?
False
Suppose 21 = -357*p + 354*p + 3*h, -2*h = -12. Is p != -1/11873?
True
Let o be 6*1/3 + 0. Let x be (-2 + 2)*(0 - o/(-4)). Suppose -4*f + 2*r - 1 = f, 2*f - r = x. Which is smaller: -2/13 or f?
f
Let p = 12486 + 2877. Which is greater: 15364 or p?
15364
Let r be (9324/(-6512))/((5/96)/5). Is -138 >= r?
False
Suppose -t = 3*s + 2*s - 21, -3*s - 3*t = -3. Suppose -s*k + 1256 = -304. Let x be (-4)/(-14) + k/84. Are 21/8 and x nonequal?
True
Let h(u) = -u**2 + 13*u - 24. Let s be h(11). Let c be (-1 - -1)*(-4)/8. Let o(m) = m**2 - 2*m - 3. Let l be o(c). Is s at most l?
False
Suppose 3*z + 128 = 4*l, -4*z = -6*z. Suppose p - 1