31*v - 9 - 115 = 0. Is v != w?
True
Let z be 17*(-1)/(-2)*-2. Suppose 66*b + 1338 = 348. Is z smaller than b?
True
Let b be ((-10)/(-12))/(2/4). Let i = 24263 - 24269. Is i greater than or equal to b?
False
Let b be 2 - -3 - (524/40 + -8). Let m = -21 + 21. Suppose -i - 29 + 30 = m. Which is bigger: b or i?
i
Suppose 80*i + 24576 = 16*i. Which is smaller: -386 or i?
-386
Let t = -3880 + 3876. Is t at most -51/20?
True
Suppose 2*n - 3*n + 5*l = 88, -286 = 4*n + 2*l. Let u = n - -76. Suppose 0 = u*m + 2*p - 94, 0 = -9*m + 6*m - 5*p + 91. Which is greater: m or 31?
m
Let w(u) = 6*u - 41. Let y(n) = 7*n - 41. Let a(p) = -5*w(p) + 4*y(p). Let b be a(16). Which is smaller: b or 11?
b
Let w(k) = -126*k - 120. Let i be w(-3). Is i < 258?
False
Let u be (0/(-126))/((-2)/(-5) + (-3)/(-5)). Which is greater: 1/6307 or u?
1/6307
Let x = 5 + -5. Let f(t) = t - 14. Let o be f(x). Let h = -559 + 546. Which is greater: o or h?
h
Suppose 140*l - 34*t + 102 = 139*l, 5*l = 5*t + 315. Suppose 52 = 4*u - r - 223, 2*u - 134 = 4*r. Is u at least as big as l?
True
Suppose -5*r = -5*w - 15, 2*w + 2*r = -30 + 36. Suppose -q + 10*u - 68 = 5*u, w = 2*q - 4*u + 166. Is q less than -466/5?
False
Let d = 631 - 1535. Let x be 4/(-18) - (-10 + d/18). Is x greater than 63?
False
Let i = -7307 + 7302. Is 0.095 smaller than i?
False
Let u = 113 + -62. Let k = -20 + u. Let b = k + -31. Which is smaller: -3/37 or b?
-3/37
Let i = 91 + -89. Suppose 5*y + j - 184 = -j, i = j. Let q(a) = -3*a + 9. Let t be q(-9). Does t = y?
True
Let i = -0.09 - 2.91. Let b be 13697/15 - (-18)/(-135). Let o be b/(-297) + 2 + 1. Is o at most as big as i?
False
Let w = -18543 + 20362. Are 1821 and w non-equal?
True
Suppose 0 = -27*m + 22*m + 420. Suppose -m*s - 3 = -85*s. Suppose 4*h - 1 = -u - s, -u - 9 = -3*h. Which is smaller: u or -3?
u
Let c be 2*-1 - 3/(-15)*10. Suppose 73*f + m + 534 = 71*f, -m + 2 = c. Which is bigger: -0.1 or f?
-0.1
Suppose 28*u = -8*u + 27108. Let l = u + -756. Is l > -26/11?
False
Let x be -15*((-40)/(-175) + (-12)/28). Suppose 15*k + 27 = -x. Which is greater: k or -18/19?
-18/19
Let w = 176 - 184.1. Let o = -8.164 - w. Is o greater than -1?
True
Let f = 3.252 - 4.252. Which is smaller: f or -5565?
-5565
Let i = -5830/1179 + 51/131. Is -4 greater than i?
True
Suppose -2*c - 8 = -2*d - 10, -4*d - 18 = 3*c. Let b be (5/65 - 3) + 2. Which is bigger: b or c?
b
Let k = 4293.471 + -4294. Which is greater: k or 1/4?
1/4
Let y = -88 - -57. Suppose 19*x - 17*x + 464 = 5*w, -280 = -3*w + 2*x. Suppose -68 = 2*j - 2*o, 13*j = 16*j - o + w. Which is greater: y or j?
j
Let a be -57 + -2 - (13 - 33). Let x = -25 - 13. Is x less than a?
False
Let i = 52 + -8. Let k = 45 - i. Are -0.17 and k non-equal?
True
Let c be (-9)/((-972)/8) + 0. Suppose 2*o - 3*o + 5 = 2*r, -5*r = 5*o. Suppose -2*q = -r*v - 2, -3*q + 3 = -2*v + 3*v. Which is greater: v or c?
c
Let y = 4641 + -4686. Which is greater: y or 4?
4
Let w be 0 + -7 - 80/(-10). Let n = 1693561/15 + -112824. Let v = 80 - n. Which is greater: w or v?
w
Let b = -1 - 1. Let w = -151 - -122. Let x be (w + 26)*(4/6 - 2). Is b smaller than x?
True
Let j be ((-100980)/28)/(-3) - 59/413. Is j != 1204?
True
Let y(t) = 502*t + 1323. Let s be y(-6). Is -1688 < s?
False
Let g(p) be the third derivative of p**5/60 - p**4/24 - 5*p**3 + 3*p**2 - 7. Let r be g(6). Let o be (30/(-42))/(4/(-7)). Is r greater than o?
False
Let o(w) = -w**2 + 64*w + 1. Let v be o(64). Let j = 4343915/554 - 7841. Is j <= v?
True
Let z(f) = 19 - 3*f**2 - 29*f**2 + 41*f + 7*f + 29*f**2. Let v be z(17). Are 2 and v unequal?
True
Suppose 3*m + 1711 = 8*v - 4*v, 0 = 5*m - 15. Which is smaller: v or 2585/6?
v
Let c be (-170)/7 + 7*(-16)/(-392). Suppose -2*m = -2*h - 3*m - 72, 5*h + 206 = 4*m. Let y = h + 14. Is y <= c?
True
Let x = -3/34 - -121/986. Suppose -4*h = -144 - 104. Let d = h + -61. Which is smaller: x or d?
x
Let h = -8309 + 8310. Is h at least 10/193?
True
Let v = 98399/762 + 51/254. Does v = 130?
False
Let u be (13 - (-23 + 43))*4/14. Let w be 1/10*56/(-4). Which is bigger: w or u?
w
Let s be (24/188210 + 0)*(-16740)/600. Let z = s + -4/1475. Which is greater: z or 0?
0
Let i(w) = -2*w + 1. Let q be i(3). Let s be 40/(-15)*(-30)/(-4). Are s and q non-equal?
True
Let c = 68 - 339/5. Let g = 0.04 + -0.11. Let m = g + 0.19. Which is smaller: c or m?
m
Let f be 42/(2*(-9)/12). Let i(y) = 13*y + 81. Let c be i(-6). Suppose -c*d - 6*r - 95 = -4*r, -3*d - 67 = -5*r. Which is smaller: f or d?
d
Suppose -12*x - 20*x - 2*x = -578. Which is smaller: x or -0.051?
-0.051
Suppose 28*h = -3479 - 2289. Let j = -238 - h. Is -32 less than j?
False
Suppose 0 = -10*y + 13*y - 6. Suppose y*x + 229 = -183. Let r be 5/(-630)*x - (-4)/18. Are 2 and r unequal?
True
Let i be -9 + (-13)/(-13) - -160. Is i at least 170?
False
Let w = -9754 + 9675. Is w bigger than -15?
False
Let x = -50 + 86. Suppose -24*v = -19*v. Let m be 3 - (1 + 2) - v. Which is bigger: m or x?
x
Let k be (-4)/5*(-210)/(-28). Let v = -19/3 - k. Which is smaller: 40 or v?
v
Let f = -14922 + 14638. Which is smaller: -2552/9 or f?
f
Let q = 62 + -53. Let s = 11 - q. Let b(r) = -r**2 + r - 1. Let g be b(0). Which is greater: g or s?
s
Let t(w) = w**3 + 9*w**2 + 10*w - 6. Let q be t(-8). Let k be 6/q - 6695/(-35035). Is -1 smaller than k?
True
Let o(l) = -12*l + 164. Let m be o(14). Let t be ((-3)/16*m)/(18/116). Which is smaller: t or 4?
4
Let a = 0.1833 - 6.3833. Let v be (-18)/12*8/3. Which is bigger: v or a?
v
Let z be 245232/(-20556) - (-4 - (-56)/(-7)). Is 1 at least as big as z?
True
Let c = 287 - 288. Which is smaller: 473 or c?
c
Let x = 20585 - 20612. Which is smaller: x or 22?
x
Suppose 2*r - 5*i = -108, -r + i = -3*r - 120. Let d = 61 + r. Suppose -3*y + d*n = -107, -19 - 68 = -3*y - 3*n. Which is smaller: 31 or y?
31
Let n be (-488)/(-2)*7/14. Suppose -2*a + 242 = 4*z, -57*z = -52*z. Which is smaller: a or n?
a
Let x = 26202 - 26194. Which is smaller: 289/32 or x?
x
Let b be (-212)/(-288) + 27/(-36). Let p = 5 - 4. Which is smaller: b or p?
b
Suppose 3*g = 4*g + 2. Let i = 20785/7 + -119339/35. Let d = -441 - i. Which is greater: d or g?
d
Let m be 434/4 - 1/2. Suppose 5*v + 23 = m. Let p be (-24 - (-1148)/42)/(5/24). Which is smaller: v or p?
p
Let k = 43 - 42. Let t = 468697/289350 + 1/5787. Let p = 3/25 - t. Which is smaller: p or k?
p
Let f = -76.12 + 70.93. Do 0 and f have the same value?
False
Let y be 1 + -5 + 368/4. Let m = -82 + y. Does -1 = m?
False
Let i = -956 - -90. Which is smaller: 3 or i?
i
Suppose -4*u = -4*k + 60, 2*k = 2*u + 4*k + 10. Let l be (-18)/((-5)/(u/21)). Which is smaller: -1/4 or l?
l
Let q be (-2 + (-6195)/125)/((-164)/(-205)). Are q and -0.1 equal?
False
Let l = 8736 - 3642911/417. Is 2 less than l?
False
Let b = 239 - 271. Let z be b/(-23440)*((2 - -5) + -2). Which is bigger: 1 or z?
1
Let v = -131 - -131.2. Let p = v - 0. Let b = 3 - 3.1. Does b = p?
False
Suppose 19 = -2*l + 5*n, n - 11 = 4*l - 0. Let b be l/5 + (-172)/20. Let s be 49/30 + -1 + 3/b. Do s and -1 have different values?
True
Let z(o) = o + 8. Let n be z(-4). Let l be n/3 + 3 + (-18780)/4338. Which is smaller: 1 or l?
l
Suppose -2*n + 54 = -4*n. Let g = -172 - -149. Which is smaller: g or n?
n
Suppose -4*v - v = -135. Suppose -10*i = 22*i - 211 - 717. Do i and v have the same value?
False
Let v = 6581 - 6501. Is v less than or equal to 89?
True
Suppose z = 2*i + 1, 5 = 5*i - z + 3. Is 4/1893 at least as big as i?
False
Let h be (3 + -4)*-11 + -2. Let k = -12.9 + 13. Are h and k unequal?
True
Let k be (-435)/(-2) + 4 + 0 + 35/(-14). Let d = 79 - 81. Is d at most k?
True
Let a(x) = 17*x**3 + 4*x**2 - 5*x - 14. Let v be a(-2). Let m = -132 - v. Is m at least as big as -5?
False
Let p = 90 + -94. Let y be 112/(-22256)*p/14. Do -1 and y have different values?
True
Let y = -52079/791 + 461/7. Suppose -4*i + 5 = -s + 2, -5*s = i - 6. Let x = 0 + s. Which is greater: y or x?
x
Let q = -19 - -23. Let z be 0 + q/72*-3. Which is greater: z or 1/2?
1/2
Let m = 35.3 + -37. Let t = -1635.911 - -1637. Let j = -0.089 + t. Which is bigger: j or m?
j
Suppose -50*c - 56*c + 36162 = -147*c. Is c at most -884?
False
Let d = 692 - 856. Which is smaller: -1158/7 or d?
-1158/7
Suppose 0 = -2*q - 2407 - 2311. Which is greater: -2360 or q?
q
Le