 -3.1 + r. Which is smaller: 0.1 or z?
z
Let t = 0.018 - -6.582. Let x = -70.5 + t. Let j = x - -64. Is j less than 13/6?
True
Let i = -1016374169/263298 + 23161/6. Are i and 1 unequal?
True
Suppose -26*v + 2*v = 24. Let n = -55298569/60606 + 57434/63. Let u = n - -23/26. Which is bigger: v or u?
u
Let k = -9457 + 9686. Which is greater: k or 3?
k
Let s(w) = 19*w - 182. Let v be s(10). Is v equal to 207/22?
False
Let r be (-1 - -2)*2/228. Suppose 157*c - 801 = -70*c - 574*c. Which is greater: r or c?
c
Let c be (-35 + (-756)/(-21))*4/6*303. Suppose 0 = 5*r + 4*k + 5, -5*k - 3 = 3*r - 0. Which is smaller: r or c?
r
Let z = -2191 - -2009. Are -542/3 and z nonequal?
True
Suppose -s + 5*d = -48 + 14, -2*d - 8 = 0. Let c(i) = -2*i**3 - 2*i**2 - 39*i - 137. Let y be c(-3). Which is smaller: s or y?
s
Let p = -481/3 - -4819/30. Suppose -2*u = -u - 2, 2*u - 19 = 5*q. Let y = -3 - q. Is y <= p?
True
Let t be (-7)/28*(-2 - -1). Let f be 226*(1/(-6))/(3/18). Which is greater: t or f?
t
Let y = -771 + 767. Let i be (((-430)/y)/(-5))/((-9)/(-2)). Are i and -5 equal?
False
Let m be (11325/(-180)*-6)/(1/2). Are m and 756 nonequal?
True
Let d = -69 + 3.9. Let q = 10185 + -10120. Let r = d + q. Is r at least as big as -21/10?
True
Let w be -7 + 93921/945*5. Let k = -490 + w. Suppose 0 = 3*s - 0*s + 3. Which is greater: k or s?
k
Suppose 3919*z - 227 = 3908*z - 84. Is z less than or equal to 652/49?
True
Let i = -444 + 446. Suppose v = k - 544, i*k + 0*v + 5*v = 1116. Is 548 > k?
False
Let r be (-14)/(-7)*14/(-4). Let k = r - -6. Let j be (-24)/(-22)*((-21)/(-6))/k. Which is bigger: j or -5?
j
Let v be 976/96 + -11 - 35902/(-12). Is 2992 at most v?
False
Let r = -14 + 1. Let d = 130 + 197. Let n = -335 + d. Is r smaller than n?
True
Let t = -5.335 + 5.335. Is t != -62?
True
Suppose s = o - 285 - 636, -3*o - s = -2775. Let z be (-11)/(o/48) - (-2)/7. Which is smaller: z or -1/14?
z
Let h = 0 + 0.1. Let n(j) = 2*j**3 - 15*j**2 + 3*j + 16. Let f be (7/(-6))/(56/(-336)). Let r be n(f). Which is greater: r or h?
h
Let r = -10808 - 2555. Is -13363 at most r?
True
Let n = -18959 + 19099. Is 8 at most n?
True
Let l be 8/6*189/126. Suppose 94 = 3*b + k, -l*k + 40 = b + 7. Which is smaller: 19 or b?
19
Let t = -276238.9 + 276241. Let y = -16 - -31. Which is greater: t or y?
y
Let s = 4638 + -10517. Which is smaller: -1 or s?
s
Let i be 15/(-360)*-8 - (-82)/6. Suppose m + 2*r = -0*m + 10, -2*m + 5*r + 47 = 0. Which is smaller: i or m?
i
Let v(f) = f**3 + 3*f**2 + 2*f + 153. Let z be v(0). Let i = 153 - z. Is i <= -1/74?
False
Let y = -3.538 - 0.062. Let n = -24 - -21. Let p = n - y. Is 1 <= p?
False
Suppose -2*y - 3 = 3*z, -114*y - 1 = -115*y + z. Let x be ((-15)/205)/(9/122630). Let n = 997 + x. Which is greater: y or n?
n
Suppose v + 2*r - 147 = 6*r, 0 = 4*v + 2*r - 642. Let h(g) = 157*g**2 + 2. Let z be h(1). Are z and v unequal?
False
Let u = -27601 + 27740.11. Let h = u - 139. Is -0.1 greater than h?
False
Suppose 2*y + 2789 = 20*c - 25*c, 6906 = -5*y - 3*c. Is -1/4 smaller than y?
False
Let x be 2 - 506/3 - (-2)/3. Let y = x - -6809/41. Which is bigger: 0 or y?
y
Let n = -311.5 - -311.5. Which is greater: n or 2765?
2765
Let l(m) = -126*m + 11. Let v be l(-3). Suppose 3*s - v = -392. Which is smaller: -122 or s?
-122
Let x = 1287381345838/8667 - 148538289. Let l = 43/81 + x. Is l less than -0.1?
False
Suppose 0 = 4*q - 2*a - 80, -q - a + 2*a + 20 = 0. Let c be 21/28 - 5/q. Let r be (0 + -2)/(0 - 18). Is c at most as big as r?
False
Let a = 446.2 - 446. Is -199 at least as big as a?
False
Let q(p) = p**3 - 9*p**2 + 19*p - 30. Suppose -10*g = 42 - 102. Let f be q(g). Is f <= -24?
True
Let h = -19/4 + 11/2. Let r = -131/36 + 44/9. Let t = r - h. Which is smaller: t or 2?
t
Let t(p) = p**3 + 16*p**2 + 29*p + 13. Let k be (-8*(-5)/(-50))/(6/105). Let z be t(k). Which is greater: z or 2/361?
2/361
Let w = 23201863 - 28886321686/1245. Let o be 4/(-6)*(-16)/(-1328). Let u = o - w. Which is smaller: u or 2?
u
Let z be (9 - -149)/(-1)*(-90)/20. Is z at most as big as 721?
True
Let b(z) = 2*z**3 - 4*z**2 - 7*z + 9. Let q be b(1). Which is smaller: q or 3/518?
q
Suppose 258 = -2*f - 4*f. Let o = f - -48. Let r be -3*(2 - 1) - -6. Which is smaller: r or o?
r
Let t(v) = v**2 - 15*v - 44. Let k be t(19). Let o be 3 - -36*5/(-50). Which is smaller: k or o?
o
Suppose c = u + 2044, -24 = 2*u - 28. Which is smaller: c or 2044?
2044
Let q be (-6)/4*184920/828. Is -1 bigger than q?
True
Suppose 6 = -2*g + 3*l, 5*g - 10 + 4 = -3*l. Suppose g*n = 2*n + 4*y + 8, -12 = 3*n - y. Is -4 greater than or equal to n?
True
Let s(r) = r**2 - 5*r + 5. Let p be s(5). Suppose 6 = -3*d + 3*j, -5*j = -p*d - 6*j + 8. Which is bigger: d or 1.7?
1.7
Let i(d) = -143*d**2 - 13*d - 30. Let n be i(-11). Let p = n + 37560148/2185. Is p != -1?
True
Let v be 12*((-4)/12*-2)/2. Let z be (-10)/v*(7 + 105/(-25)). Which is smaller: -9 or z?
-9
Let j = 1 - 1.07. Let o = 154.1 + 8.9. Let n = -162.9 + o. Which is greater: n or j?
n
Let y(s) = -3*s**2 - 27*s + 9. Let b(l) = -3*l**2 - 27*l + 4. Let n(u) = -3*b(u) + 2*y(u). Let q be n(-9). Which is smaller: q or -5?
-5
Let v be 312/360 + (13/(-15) - -1). Let x be 211/639 + (-22)/66. Which is smaller: x or v?
x
Let y be (-3)/1*145/87 + 3. Let n(b) = -b**3 + 4*b**2 + 12*b + 1. Let o be n(y). Is o smaller than 6/91?
False
Let s = -5507 + 5513. Is s < 25/4?
True
Let u(d) = d**2 + d - 2. Suppose 0 = m + 4 - 6, 2*m + 29 = -3*x. Let w be u(x). Suppose -9*i = -5*i + w. Which is bigger: -28 or i?
i
Suppose -2*m = 2*o, 4 = -5*o + 5*m - 16. Let y be ((-1)/(-3))/(o/246). Which is bigger: -40 or y?
-40
Let h = -0.249 + 0.149. Let t = -47 - -71. Let r = t - 39. Is r != h?
True
Let l be 215*((-1008)/30)/(-4). Which is smaller: 1808 or l?
l
Suppose 0 = 3*p - u - 5487, 0 = -p - 2*p + 5*u + 5475. Is 6 greater than or equal to p?
False
Let t = 3575 - 3575.1. Is t greater than 31/61?
False
Let o be (-8946)/(-945) + ((-4)/3)/(12/6). Suppose 1 + 1 = k. Suppose 45 = k*x + 3*x. Is o > x?
False
Let d(v) = 7*v - 149. Let s be d(23). Suppose -8*b + 20 = s. Which is smaller: b or -1/363?
-1/363
Let i be (-10)/(-1332)*-465 + (-42)/(-12). Which is bigger: -27/4 or i?
i
Suppose -3*o + 43*o = 0. Let f be o/(-2)*18/(-18). Do -93 and f have the same value?
False
Let r be 92/(-22) + (21 - 17). Let s = 1468 - 1467. Are r and s equal?
False
Let l = 4339/12 + -1084/3. Let q(w) = 9*w**2 + w + 2. Let y be q(2). Is y greater than or equal to l?
True
Let j be 5*(1 - 2 - 207/15). Let p = -42 - j. Suppose -22 = 2*y - 4*v, 4*y - 3*v = 2*v - p. Which is smaller: -9/5 or y?
y
Let l(z) = z**2 + 7*z + 7. Let a be l(-5). Let r = 160.3 - 452.5. Let x = 292 + r. Which is bigger: a or x?
x
Let q = -1040506/159 - -6544. Is q greater than 1?
False
Let h(s) = s**3 - 13*s**2 - 9*s - 32. Let t be h(14). Let q = 46 - t. Suppose -7*u = -11*u - q. Is u at most 2/17?
True
Suppose -6*m - 21 = -51. Let b be (-33)/(-12) - (-2)/8. Suppose -2*l + 196 = -m*o, o - b*l = 6*o + 181. Does o = -37?
False
Let o = 9224 + -101470/11. Is o greater than 454?
False
Let w = 126/5 - 695. Which is greater: w or -671?
w
Let p = 10256 - 5662. Let a be 4*p/(-28)*(-8)/14. Let t = 375 - a. Which is smaller: 1 or t?
t
Let y = 1.85 + -1.758. Let q = 80.092 + -83. Let a = y - q. Is a bigger than 15?
False
Suppose 15 = -5*c - 3*l, -2*c = 6*l - 2*l + 20. Suppose 2*k + k + 45 = c. Let t = k + 14. Which is bigger: 1/4 or t?
1/4
Let i be (-37)/(-24) + 4/(-6). Let u be (18/(-10))/(18/(-120)). Suppose -2*y - 4*x = -5*y - u, -2*x + 6 = 5*y. Is y greater than i?
False
Suppose 2*o - 27*o - 3186 = 1889. Which is smaller: o or -63?
o
Let t = 1237 - 1236.35. Let j = 56 + -223/4. Is j smaller than t?
True
Let a = -2293995/61 - -37605. Which is bigger: a or -2?
a
Let r = 12269 - 115107761/9382. Which is bigger: r or 0?
0
Let k = 9006.8 - 9091. Is k at most 0.1?
True
Suppose -u - 5*x = -75, 362 = 5*u - 2*x + 149. Is u > 567/13?
True
Let o be (-1)/7 + (-62244)/(-98). Which is smaller: o or 637?
o
Suppose -181 - 29 = -5*h. Let f(k) = -8*k - 36 + 60 - 30 - 25. Let n be f(-9). Which is smaller: n or h?
n
Let f = 924 - 923.8. Let h = 4 - -33. Which is bigger: h or f?
h
Let u = 4 + -3. Let p(t) = 2*t**3 - 3*t**2 + 3*t - 1. Let a be p(u). Suppose -3*f + 105 - 102 = 0. Are f and 