or i?
i
Suppose 2*r + 92 = 5*j, 5*j + 99 = -3*r + 186. Is 334/19 > j?
False
Suppose -j - 5*j + 2*j = 0. Let n be (-51)/51*(-1 + j). Is n at most -2/821?
False
Let r be (141/(-1))/((-37)/(-37)). Let c = r + 153. Which is smaller: c or 74/7?
74/7
Let y = -4123 + 4122.992. Let a = 3.8 + -3.842. Let b = y + a. Which is smaller: b or -0.06?
-0.06
Let j be ((-2432)/(-270) - 9)*294/(-26). Let s = -436/15561 + 6/133. Let n = s + j. Is -1 < n?
True
Let o = 10 + -19. Let d = -20.953 + -0.047. Let x = d + 20.9. Is x bigger than o?
True
Let a = -746 + 753. Let r be 71/(-497) - -27*62/a. Are r and 239 nonequal?
False
Let o be 1*3*(-1)/3. Let b = 211/28 - 4547/602. Is o at most as big as b?
True
Suppose -1151*c - 287 = -1110*c. Which is bigger: c or -228/41?
-228/41
Let z = 120 - 180. Let u = -106 - z. Let i = u + 45. Which is bigger: i or -0.1?
-0.1
Let k = 173.01 - -33.99. Which is bigger: -0.1 or k?
k
Suppose 3*t + 2*t = 3*c - 27, 0 = -4*t + 3*c - 21. Let y be (52 - 34)*(-116)/t. Are y and 348 unequal?
False
Let r = 19421 - 20993. Which is greater: -1567 or r?
-1567
Let d = 2083 + -2083. Let g = -163 - -36. Which is smaller: g or d?
g
Let p = -0.21 + 0.07. Let a = -0.019 - 2.681. Let i = -2.7 - a. Which is smaller: i or p?
p
Let v be 53135/(-156) - (3 + -1). Let x = 1028/3 + v. Suppose -97*l + 95*l + 22 = -5*t, -l = 2*t + 7. Is x < l?
True
Let u(f) = f**3 + 13*f**2 - 5*f - 29. Let h be u(-13). Suppose -3*m = h - 12. Let w = -2 - m. Is w != 2?
True
Suppose -23*p + 33*p = -100. Let s be -96*(0 + (-5)/p). Is s at most -48?
True
Suppose 3*z = -z. Let h = -41983892/1297 + 32370. Which is bigger: z or h?
z
Let s = -9369/136271 + -1/4699. Let t = -5 - -8.4. Let f = -1.4 + t. Which is smaller: s or f?
s
Let s be 63/7*((-50)/15 - -5). Suppose -c - 5 = 5*r + s, -3*r - 12 = 2*c. Is c < -4/117?
False
Let n = -441/25 - -88/5. Let x be (-3)/(-3)*-4 - (1 + -10). Suppose 0 = x*g - 10*g - 5. Are g and n unequal?
True
Let v = -512 - -522. Suppose 9*d + v = -35. Are -70/11 and d equal?
False
Let o = -233 + 607. Let n = o + -366. Which is smaller: n or 5/2?
5/2
Let z = -0.7 - -1. Let p = -0.4 + z. Let o be (-4 + 3)/(-2)*(-40 + 6). Which is bigger: p or o?
p
Let v be ((-3)/(-2) + 0)/(-6). Let w(g) = -g**3 - 14*g**2 - 46*g. Let d be w(-9). Let z be (1/(-6))/(21/(-6))*d. Which is smaller: z or v?
v
Suppose 0 = m + 4*t + 4, 2*m = 4*m + t + 8. Let h be 7/2 + 2/m. Suppose 3 = 2*i - h, 5*i - 85 = 5*z. Which is smaller: -16 or z?
-16
Let b = -2 + 2. Suppose -2*p + 2*q + 8 = -0*q, 10 = 3*p - q. Suppose -p*t + 11 = 2. Which is smaller: b or t?
b
Suppose -k - 532 = -548. Suppose r - 23*y = -24*y - k, y - 20 = 2*r. Which is smaller: r or 22?
r
Suppose 2*n = -0*n. Let o be 3*(3/9 + n). Suppose 3*q + 7 = 7*q + 5*f, 0 = 2*q - 5*f - 11. Is q smaller than o?
False
Let g be (3 - 12*2748/7011)/(-6). Let v = g - -1/114. Is v less than -1?
False
Let a = -50 + 49.9. Suppose -5*r + 2*s = 7*s + 10, -2*s = -2*r - 8. Let i be (-63)/(-45) + r + 1. Which is greater: i or a?
a
Let u be 24/(-27)*5/(-100)*2. Let v = 26/45 + u. Let d = -2 + 2. Is d greater than v?
False
Let b = 1311.1 + -1283.1. Let s = 0.3 + -0.1. Does b = s?
False
Let j be (4*-1)/((-28)/(-12)). Let t(p) = p**2 - 6*p - 22. Let g be t(9). Suppose -g*x = -4*q - 11 - 1, -3*x + 3 = -q. Which is smaller: j or q?
q
Suppose 17*c - 16*c = 4*x - 280, 0 = -3*x + 5*c + 210. Let u be (-16)/2*((-26)/4 + -2). Which is smaller: u or x?
u
Let t be 3/6 + (-1)/4. Let b(y) = 18*y + 5. Let l be b(-1). Let s(r) = 2*r**3 + 27*r**2 + 10*r - 66. Let p be s(l). Is p at most t?
True
Let m = -116.43 - -0.43. Let v = -115.96 - m. Which is bigger: v or -17?
v
Suppose -439 = -r - 2*g, -137*g = r - 138*g - 436. Which is bigger: 436 or r?
r
Let z = -56237/69 + 815. Which is smaller: -0.33 or z?
-0.33
Let a = -56612 - -84316. Are a and 27704 nonequal?
False
Let t be 40/(-30)*(-9)/15. Let o be (-1 - 0)*205/(-5). Let h = o - 941/23. Which is smaller: h or t?
h
Let i(o) = 7*o - 3*o - 10*o**2 - 19*o + o + 0*o**2 - 8. Let m be i(-6). Is m >= -286?
True
Let w = -196 - -198. Do 219 and w have the same value?
False
Let w = 1043/17 + -3095/51. Which is bigger: 2/5 or w?
w
Let g(j) = -j**2 + 190*j - 8187. Let t be g(125). Suppose 0 = -2*s + b - 122, -5*s - 116 - 192 = -b. Is s smaller than t?
False
Suppose -534 = -i - 0. Let v = i - 471. Is v at least 66?
False
Suppose -5*c - 695 = 5*u, -5*u - 669 = 2*c + 14. Is u not equal to -135?
False
Let g be (17/(-85))/((-658)/(-35)). Let h(p) = p**2 - p. Let q be h(1). Is q at most as big as g?
False
Let h = 536/51 - 605059/57579. Which is smaller: 1 or h?
h
Let f = 24030/7 - 75478244/21987. Which is smaller: f or -1?
-1
Let u = -58.75 - -77.75. Which is greater: -1/57 or u?
u
Let i = -22 + 27. Let o be (6/i)/((-3)/10). Let j be 20/(-5) + (-17)/o. Are -0.1 and j equal?
False
Suppose -91*x + 96*x + 2145 = 5*o, -24 = -3*o. Which is smaller: -419 or x?
x
Let f be (0 - (-12)/9)*3. Suppose 0 = f*m - 2*m - 46. Suppose -70 + 63 = -w - 3*d, -4*w = -4*d - 108. Are w and m nonequal?
True
Let i = -375 + 793. Let p = -417.9 + i. Is 0.1 equal to p?
True
Suppose 8*r - 24*r + 192 = 0. Let h be ((-4)/r)/((-69)/36 + 2). Is -48/13 smaller than h?
False
Suppose -514*v = -515*v + 5*n + 1776, 3*v = -5*n + 5348. Which is smaller: v or 1782?
v
Let x(w) = -w - 6. Let t be x(-8). Suppose 0 = -2*h - 5*h + 84. Let f be 9/h - 4/((-64)/20). Is f at most t?
True
Let t = -55 + -247. Let c = -295.9 - t. Is 2 at most c?
True
Suppose 3*i - d = 790 + 417, 4*i - 1596 = 4*d. Let b = -401 + i. Let h be 13/(-5) - 2/5. Which is bigger: h or b?
b
Let b be (-2)/2*(-144)/8. Let o(q) = -q**2 + 8*q - 19. Let s be o(9). Let r be (-142)/(-8) + (-7)/s. Is r < b?
False
Let q be (-12)/(-10) - ((-440964)/(-325520) + (-2)/13). Is q at most as big as 0?
True
Suppose 0 = 24*p + 111*p + 36*p - 1197. Which is smaller: -160 or p?
-160
Let r(f) = -f**2 + 23*f - 80. Let b be r(22). Let x be (-42)/(-147) - b/(-742). Which is greater: x or 1?
1
Let u = -24 - -25. Let l be (-20)/(-2) + u/3*-3. Suppose 72 = -l*m + 5*m. Do -67/4 and m have the same value?
False
Let a = -249 - -301. Suppose -r + 55*v - a*v + 15 = 0, -v = -r + 21. Which is bigger: 32 or r?
32
Let o be 8/(14 + -13) + -6. Which is smaller: 122/117 or o?
122/117
Let w = -9527 - -9527.1. Which is bigger: -2/1481 or w?
w
Let o = -846 - -1775. Which is smaller: -0.5 or o?
-0.5
Let h be (32/(-24))/(1/177) + 0. Let g = -184 - h. Which is greater: g or 50?
g
Suppose -8 = -2*c - 0*c. Suppose c*s - 23 = -h, 3*h - 24 = -3*s + 18. Let g = -0.15 - -0.65. Is h at least g?
True
Let t be 0/((-8 - 7)/3). Let s = -3 + 4. Suppose -4*a - 2*g - s = -3*g, 3*a + 3*g - 3 = t. Is a bigger than -2/113?
True
Let j = 1185 - 881. Let a = -310 + j. Which is smaller: -82 or a?
-82
Let j be (-26)/6 + 9/3. Let n = 24 - -1. Let h = -27 + n. Is h > j?
False
Let i be ((4 + 1)/(-5) - 0) + -215. Let k = -215 - i. Is k <= 4/37?
False
Let g(x) = 6*x - 19. Let q be g(4). Suppose q = m + 23. Let b be (0 + 0)*(-9)/m. Is -1/64 > b?
False
Let p = -1.6 + 1.6. Which is greater: -7803 or p?
p
Let k = 135 - 65. Suppose 0 = -69*m + 67*m - 12. Let v be ((-14)/21)/(k/m). Which is bigger: 0 or v?
v
Suppose 4*k = -5*w + 4, 3*w = 4*k + k - 5. Which is smaller: w or -40/203?
-40/203
Let a be -1 + 6/(1 + 0). Suppose 3*s - 90 = 4*c + s, -c + a*s = 45. Does -20 = c?
True
Suppose 3*r = -2*r + 2*m - 401, -3*r - 222 = 5*m. Let u = r - -44. Is u at least -106/3?
True
Let b be 8/(-15) + 4/10. Suppose -5*m - 10 = 7*k - 2*k, -k = 4*m + 5. Let j be 31/(-31)*(m + 2). Is b at least as big as j?
True
Let w(u) = 61*u**2 + 205*u + 12. Let i be w(-4). Which is smaller: 188 or i?
i
Let r(s) = -s**2 + 7*s + 19. Let q be r(9). Let w be q/5*(3 - 4). Which is smaller: w or 22?
w
Suppose -46 = 3*p + 5*a, -4*p - 4*a = -9*p - 52. Let u be (-4)/p - 22/30. Is u <= -2/453?
True
Suppose 17*j - 49 = 10*j. Let c be j/(28/136)*2. Are 67 and c unequal?
True
Let c be -15 + 18 + 8 - 66. Are -4 and c non-equal?
True
Let z be 11 + 214/(-156) + 16/(-32). Is 10 smaller than z?
False
Let x = 76.09 - 67.19. Do x and -2/9 have different values?
True
Let p(x) = 5*x - 35. Let i = -138 - -145. Let a be p(i). Is a not equal to -1/8?
True
Let c(o) = -2*o - 9. Let i be c(-4). Let a be (-119)/(-11) + (-423 - -412). Does a = i?
False
Let