 = -183.6 + 183.995. Is 2/7 != j?
True
Suppose 8*i - 21*i = -104. Suppose -8*y = -48 + i. Suppose -4*x + 4*t - 24 = 0, 21 = -0*x + 4*x + y*t. Is -96 less than x?
True
Let y(f) = -2*f**3 + 19*f**2 + 125*f + 18. Let a be y(-7). Is 760 greater than or equal to a?
True
Suppose 4*v + 5415 = 5*x, -4*x - 5*v = -2111 - 2180. Is 3236/3 equal to x?
False
Let g = 531.1 + -6718.1. Which is smaller: 1/4 or g?
g
Suppose -4*b = 32 - 236. Let c be 23/(138/(-36)) + 57. Let h = c - b. Which is bigger: h or -6?
h
Let o = -106/239 + -2/2151. Suppose 3 = -3*v + 6*v, -2 = -3*n - 5*v. Which is smaller: n or o?
n
Let l be (-6)/(-21) - 262/(-14). Let n(w) = w - 2. Let j(o) = -3*o - 11. Let m(r) = -j(r) - 4*n(r). Let k be m(l). Which is smaller: k or -1/7?
-1/7
Let v(o) = o + 5. Let c be v(-3). Let m = -32 - -62. Let a = m + -29.88. Is c <= a?
False
Let f = -34 + 59. Let c be (1 - 0 - 7)*(-2)/4. Suppose -78 = -3*v + c*d, 6*v + 3*d - 90 = 2*v. Which is smaller: v or f?
v
Let u = 9145.9 - 8660. Let y = 486 - u. Let i be 1*14/18 + -1. Is i less than or equal to y?
True
Let y be -3 - (5 + (-8 - -3)). Let s be 5/((90/12)/y). Does s = -30?
False
Let b be (16/6 + -2)*249. Let p be 4 + 2598/16 - 11/440*15. Is p equal to b?
True
Let d be 16/(-6)*98/24. Let y = 298/27 + d. Is y at most as big as 1?
True
Let k be 12 - 2*(-4 + (-11)/(-2)). Let n be (-2255)/630 + 13 - (-4)/18. Which is smaller: k or n?
k
Let b be ((-2)/80)/(22/18865). Which is greater: -21 or b?
-21
Let y be ((-889)/147 + 6)*1/4. Let x = y - 799/3444. Which is bigger: 0 or x?
0
Let c(v) = -3*v**3 - 12*v**2 + 15*v - 3. Let h be c(9). Let i be 5 + (h/(-11) - 6/33). Which is bigger: 281 or i?
281
Let l(w) = w - 16. Let r be l(20). Suppose -r*n = -8, 8 = -0*g - g + 4*n. Let i(o) = 93*o - 18. Let c be i(-1). Is g >= c?
True
Let i = 0.122 + -2.122. Let t = 11.9529 - 0.0529. Which is bigger: t or i?
t
Let i = -2752 + 2751.7. Let c = -97.37 - -98. Let x = 0.03 - c. Is i smaller than x?
False
Let h(a) = -a**2 - 62*a - 385. Let v be h(-7). Do -3/890 and v have different values?
True
Let j = 98 + -81. Which is smaller: -36 or j?
-36
Let l = 0.2 + -6.2. Let v = 0.08 + 46.92. Let y = 46.9 - v. Which is smaller: l or y?
l
Suppose -3*o + 644 = 2*g, -14*o + 11*o + 3*g + 639 = 0. Suppose -142*a + 144*a - o = 0. Is 110 less than a?
False
Let k be 8/(-6) + 510/45 + -7. Let u be (-8)/4 - (-62)/16. Are k and u unequal?
True
Let y = -5205 - -5180. Which is smaller: 16 or y?
y
Let f = -361 + 353. Let x = f + -205. Which is smaller: x or -2/3?
x
Let j = -222625/29 + 7676. Suppose -t - 2 = 0, 0 = 2*x - 7*x + t - 3. Which is bigger: j or x?
j
Let c = 23662 + -40319. Is c at least -16656?
False
Let f(d) = d**2 - 17*d + 21. Let l = 30 + -16. Let g be f(l). Suppose 4*c - 5*m = -109, 2*m - 36 = c - m. Is g bigger than c?
False
Suppose 7*h + 52 = 3*h. Let f = 1/116824 - 11098287/817768. Which is bigger: h or f?
h
Let u be (-21 - -29) + (-3)/1. Let k be ((-58)/8)/((-38)/(-8) - u). Are -14 and k equal?
False
Let u be ((-9163)/34)/11 - -24. Let a = -14.23 + 0.23. Let h = 13.65 + a. Which is bigger: h or u?
h
Let g = 0.1 - 62.1. Let c = g - -55. Let z = 140 - 1262/9. Is z equal to c?
False
Let h be ((-3990)/(-162))/(-7) + (-6)/(-2). Let v = 313/135 + h. Which is smaller: 1 or v?
1
Let u = -317139 + 4122762/13. Suppose f = -4*j - 20, -f - 3*j - 4 = -3*f. Which is greater: u or f?
u
Let t = 10474 - 12444. Is 1 at most t?
False
Let b = 53 + -50. Suppose -5*h = -2*h - 2*m - 223, -b*h - 2*m = -227. Let x be ((-3)/2)/(0 - h/20). Is x > 0.39?
True
Suppose i + 31 = -18. Let d = -43 - i. Suppose -5*c - 10 = -5*x, -x + 3*c = -2*x + 18. Is x at most as big as d?
True
Let y = 403 - 400. Let t be 10/45*(y + -6). Which is smaller: -1 or t?
-1
Let d(f) be the third derivative of -1/6*f**4 + 0*f + 1/60*f**5 + f**3 + 8*f**2 + 0. Let h be d(4). Are h and 4 equal?
False
Let i = 707.94 - 708. Let o = -7.94 + i. Which is smaller: -30 or o?
-30
Let y be 117708/595 + (-4)/(-7) - 7. Which is smaller: y or 190?
190
Let a = -11.2 + 17. Let k be (-1230)/(-738)*(-12)/(-50). Which is bigger: k or a?
a
Let o be (0 + (-9)/(-12))*192/270. Let q = 759 + -11399/15. Let f = o + q. Which is greater: -0.3 or f?
-0.3
Let z = -0.63 - 0.04. Let g = 17.83 - z. Let w = -19 + g. Which is smaller: -5 or w?
-5
Suppose -k + 20 = 3*k - 2*v, -k - 4*v + 23 = 0. Let o(x) = -6*x + 0 + 0*x**2 + 4 + x**2. Let q be o(k). Which is smaller: q or 10?
10
Let l = -83 + 89. Let o be ((-8)/l)/((-664)/(-60) - 11). Is o greater than or equal to -20?
True
Let x be -3 + 3/((-174691107)/(-174731997)). Let p = 4/10509 + x. Which is greater: p or 1?
1
Let g(p) = -p - 1. Let j be g(-6). Suppose 2*v - 106 = -4*k, 5*v + j*k - k = 295. Suppose 13*n + v = 6*n. Which is bigger: n or -8?
-8
Let a(k) = -63*k + 1. Let m be a(-4). Suppose m + 47 = 4*y. Let i be 46/(-40) - 45/y. Which is smaller: -2 or i?
-2
Let f(l) = 326*l - 266. Let x be f(7). Let w be (x/(-102))/1*(-3)/6. Is w equal to 10?
False
Suppose -3*d - y - 7 = 0, -3*d - 4*y + 9*y = 19. Let j be (2 - (-10)/(-6))*d. Let l be j/2 + 10/(-40). Which is greater: -0.1 or l?
-0.1
Let g(x) = -20*x**3 - x. Let i be g(-1). Suppose -88 = -17*o + i*o. Let j = 29 + o. Is j != 6?
True
Suppose -30 = -2*c - 3*p, 5*c + 0*c - 2*p - 94 = 0. Let j(b) = b**2 - 10*b - 48. Let f be j(c). Suppose -13*h - 304 = -f. Does h = -19?
False
Suppose -31 = 2*q + 3*o, 0 = q - 4*o - o - 17. Let u be (q/(-8))/((5/2)/(-5)). Let g be (u + (-30)/(-9))/34. Is -1 > g?
False
Suppose 0*q = -q, -5*s + 5 = -5*q. Let i(a) = -49*a**2 + a - 1. Let j be i(s). Let w = j + 49. Does 3 = w?
False
Suppose 0*b + 336 = -b. Let k be b/(-15) - (-3)/5. Suppose 4*c - 1 = a + 12, 0 = -4*a - 2*c + 2. Is a equal to k?
False
Suppose 32*y = -490 + 1354. Let s = 303/2 - 755/6. Is s smaller than y?
True
Let t = 0 - 0. Let y = -36802 - -36799.03. Is y at least t?
False
Let s be -29 - (9/(-3))/(-3). Let m be (-384)/s + 1/5. Suppose r + q = 15, -r = 4*q - 120 + 99. Is r at least m?
True
Let b be 6/((-84)/10) - 0. Suppose -6*d - 12 = -3*d. Let z = d + 3. Which is greater: b or z?
b
Let t be ((-32)/96)/((-2)/(-6)). Is t less than -108/205?
True
Let x be 336/(-48608) + (-10)/155. Which is smaller: -10 or x?
-10
Let y = -165 - -275. Let z be 1868/16 - (-14364)/(-2128). Is z less than y?
False
Let w = 22.982 - -0.018. Let g = -2992208953/1268 - -2359786. Let s = g - 3/317. Are s and w nonequal?
True
Suppose 4*q - 171 = 1853. Let r = q + -675. Is r equal to -167?
False
Suppose q = -3*q + 5*z + 84, -3*q + 4*z + 64 = 0. Let n be (-21)/28*q/(-6). Which is bigger: n or 55?
55
Let d(r) = r + 1. Let c be -5 + 9 - (4 + -2). Let w(v) = -5*v - 17. Let b(y) = c*d(y) + w(y). Let l be b(-3). Which is bigger: 2 or l?
2
Let i = 1355 - 1471. Which is smaller: 4/7 or i?
i
Suppose -m = m + 46. Let n be (-13 - m)/((-4)/(-6)). Suppose 3*x = -a + n + 18, -4*x + a = -51. Is 12 less than or equal to x?
True
Suppose 76*x + 1573 = 357. Is -404/27 <= x?
False
Suppose c = -4*g + 3*c + 160, 5*c = 5*g - 200. Suppose -8*m = -32 - g. Let a be ((-2)/(-3))/((-822)/m). Which is greater: a or -1?
a
Let g be (-7)/(-3)*6/(-10). Let t(p) = -3 + 5*p**3 - 5*p**3 + 0*p**2 + 6*p**2 - p**3 + 2*p - 3*p**2. Let n be t(1). Which is smaller: g or n?
g
Let l be (-17 - -15)/(36/(-4)). Let h be ((36/10)/(-1))/(10/(-75)). Is l bigger than h?
False
Let i = -0.03 + -0.75. Let r = -21.78 - i. Let x = -21.1 - r. Is -17/3 > x?
False
Let d = -26.314 - 59.686. Which is smaller: 42 or d?
d
Let j(r) = r**3 + 7*r**2 + 9*r - 18. Let i be 2/2 - (5 + -4)*-2. Suppose -2*t = 3*m + 3, i*m + 9 = -3*t - 0*t. Let v be j(t). Is v at most -38?
False
Suppose -171*y = 131*y - 6083 + 32961. Is -439/5 bigger than y?
True
Let h = -242/9 - -3074/117. Let y(m) = -6*m + 20. Let w be y(6). Let a be (-12)/w - (-66)/(-24). Is a greater than or equal to h?
False
Let y(i) = -i**3 - 20*i**2 - 31*i + 9. Let k be y(-2). Do 58 and k have the same value?
False
Let k = -1.3 + 1. Let n = -6 + -251. Let u = 257.5 + n. Which is smaller: u or k?
k
Let t be -6*(-18)/(-108)*(0 + 1). Which is bigger: 12/343 or t?
12/343
Let y = -0.25762 - -1.25762. Let k = -0.19 + 0.04. Which is greater: k or y?
y
Let u(o) = -13*o**2 - 3*o + 2. Suppose b - 5 = -4*b. Let l be u(b). Let z be (l/4)/(7/42). Is -21 greater than or equal to z?
True
Let 