et t = 0.00316 - 0.54176. Are t and 0.1 unequal?
True
Let a be (2934/3)/(8/2 - 1). Is 326 at least a?
True
Suppose -6549 = 2*t + 3*a, -3*t - 65*a = -62*a + 9819. Is -3269 at least t?
True
Let a(d) = 35*d**2 + 196*d - 7. Let s be a(-6). Which is smaller: 94 or s?
s
Let p = 6041 - 5979. Are 36 and p equal?
False
Let c be 71 - 0/(2 + 0). Let b be 668/(-10) + (-88)/(14 + 8). Let y = c + b. Is -1 equal to y?
False
Let t be (-6)/(-22205)*1535/6447. Is t not equal to 0?
True
Let w = -6.24 - -6. Let k = 129 - 127.06. Let p = k + w. Is p less than or equal to 2?
True
Let t = -90 + 72. Let h be (t/8)/((-7)/(28/3)). Suppose a - h*m = 6, -a - 4*m - 8 = 2*a. Which is smaller: 2/9 or a?
a
Let d = 2660912/343173 - 566/73. Which is smaller: d or -1?
-1
Let u be ((-12)/(-9))/(-1 - -7). Is u greater than or equal to -74?
True
Let x = 28572931/116 - 246320. Is -3 <= x?
True
Let g be 175/(-150) + 7429/6. Which is greater: 6188/5 or g?
6188/5
Suppose 5*k - 4235 = 4*l + 1223, 2*k = -5*l + 2203. Which is smaller: 0 or k?
0
Let o = 2170496928/18445 - 117674. Are o and 1 unequal?
True
Let j(p) = -15*p + 18. Let n be j(-7). Let k = -56 + n. Let i = k + -66. Which is bigger: 30/17 or i?
30/17
Suppose 3*z - 59 = 4*c, z + 0*z = 5. Let n = 38 + c. Let a be 3/n + (-5)/9. Which is bigger: 1/5 or a?
1/5
Let x = -4.05 + 4.984. Let u = x - 0.334. Which is smaller: 1/8 or u?
1/8
Let i(g) = -587*g**3 + 18*g**2 - 52*g + 28. Let k be i(2). Is k equal to -4700?
True
Let k be (18/(-2577))/(((-1125)/30)/(-25)*-2). Let m = 3 - 2. Is m < k?
False
Suppose 13 = -4*b + 1, -3*w - 5*b = -81. Let q be 88/w + 1/4. Suppose -3*o - 112 = 2*r + o, -4*r = q*o + 209. Which is greater: r or -49?
-49
Let s = -8268 - -22433. Which is bigger: s or 14166?
14166
Let v(q) = -q. Let u(f) = f + 26. Let h(b) = u(b) + 3*v(b). Let r be h(12). Suppose j + 12 = -r*j. Is j < -3?
True
Suppose 88 = 5*s - 2*n - 782, 5*s - 4*n = 870. Which is smaller: 224 or s?
s
Let b = -64 + 68. Let p be (-2)/b - (-10 - 2). Let a = 1085/94 - p. Which is smaller: 0 or a?
0
Suppose 0 = -2*z + 4*y + 3120, 78*z - 75*z + 5*y = 4680. Is 4 > z?
False
Suppose -4*y + 46 = 2*q - 5*q, 0 = -2*y - 4*q + 34. Suppose -y*j + 545 = -1. Let t(x) = 3*x**2 - 6*x - 2. Let w be t(5). Is w less than or equal to j?
False
Let t be 66402/6120 + (-6)/(-8). Is 4 greater than t?
False
Suppose -34*v - 62*v = 20544. Is -1924/9 at least v?
True
Let v = -7109 + 7108.8. Let j be 3/(-1) - (2 + -2). Let m(x) = 10*x - 4. Let s be m(j). Which is smaller: s or v?
s
Let p be 4/(0 + 1104)*(-256)/11040. Are 1 and p nonequal?
True
Let o(v) = -3*v**2 + 78*v - 486. Let l be o(12). Which is bigger: l or 20?
20
Let l(q) = 72*q**2 - q - 3. Let z be l(-2). Let v = z - 331. Suppose -3*t - 59 = 73. Is t != v?
False
Let a = -8789 + 45453/5. Which is smaller: a or -1/6?
-1/6
Suppose 0 = 4*t - 1788 + 1720. Is t at most as big as 66?
True
Let w = 16730 - 9119. Is w smaller than 7610?
False
Let d = -319 + 324. Let q be ((-24)/9)/4 + d/3. Let r be 2/218*(3 - 5). Is q not equal to r?
True
Let q(f) = -f - 1. Let k(h) = 22*h + 7. Let s(t) = -k(t) - 6*q(t). Suppose 4*b = -4*u + 12, 2*b - 12 = -u - 4. Let a be s(u). Is a less than 31?
False
Let z be (0 + -3 - -1078) + (-12)/3. Are 1071 and z equal?
True
Let w(k) = k**3 - k**2 - 5*k + 7. Let n be w(2). Let d be (-52)/(-156) - (n - 5/3). Let g be 1 - (7/3 - 2). Which is greater: d or g?
d
Let b = 45865 - 45815.919. Let i = -49 + b. Let x = i + -0.181. Does x = 1/20?
False
Suppose -20*a = -16*a - 8. Is -20/11 greater than or equal to a?
False
Let p = 3521/5 + -702. Let j be (539/105 - 5) + (-19)/(-15). Let r = j - p. Which is smaller: r or 0?
r
Let t = -261.871 + -0.129. Let s = -287.3 - t. Which is smaller: s or -2/7?
s
Let o be (-108)/(-6)*(-3)/(-6). Let i(l) = -2*l**2 + 11*l + 16. Let z be i(o). Is 0.1 != z?
True
Suppose -258 = -4*m - 5*l, 5*m = -5*l + 107 + 213. Suppose -69*w + m*w = 0. Which is bigger: w or 2/227?
2/227
Let p(f) = 2*f**3 - 25*f**2 + 51*f - 14. Let q be p(2). Is 346/3 at least q?
True
Let c = -280 + 595. Let y be 18*28/(-40)*(-23 - 2). Is c bigger than y?
False
Suppose -3*y - 1789 = -4*q + 2497, -4*y + 5*q = 5713. Which is smaller: y or -1425?
-1425
Let d be (21/(-2))/((-1773)/(-594) + -3). Let x be 20/(-4) + d/357. Is -2 at least as big as x?
True
Let w(f) = 98*f + 3137. Let c be w(-32). Which is bigger: c or 10/191?
c
Let i = 22.81921 - 0.81921. Let l = -4 - -3.88. Is l greater than or equal to i?
False
Let q(a) = a**2 - 2*a + 1. Let d(g) = g**2 - 7*g + 14. Let r be ((-18)/63)/((-3)/42). Let t be d(r). Let i be q(t). Which is greater: 6/19 or i?
i
Let z(a) = 29*a + 0*a**2 + a**2 - 29*a + 33*a + 2. Let u be z(-33). Which is greater: 112 or u?
112
Let n be (-11432)/(-6)*6/76. Let g = 150 - n. Suppose -36 = -4*z, 2*o + 10*o - 3*z = 13*o - 28. Which is smaller: g or o?
g
Suppose -9*g = -153*g - 17136. Is g greater than -127?
True
Let s = -15/98 - 67/294. Which is greater: -2/3 or s?
s
Let m = -71 + 78. Let s = -12 + m. Let a(d) = -d**2 - 5*d + 1. Let v be a(s). Which is smaller: -1/11 or v?
-1/11
Let t = -49 + 443/9. Let k = -2172.8 + 2177. Is t bigger than k?
False
Let j be (51/1156)/((2/(-256))/(5/90)). Is j less than or equal to 1?
True
Suppose 0*o + 20 = -21*o + o. Let b(c) be the first derivative of 7*c**4/4 + c**3/3 - c - 1. Let m be b(o). Which is bigger: -6 or m?
-6
Let k = 574 - 557. Suppose 3*g - 4 = -5*q, 0 = -q + 3 - 1. Let w be (g/(-2))/((-2)/(-212)*6). Which is smaller: w or k?
k
Let w = -15.71 - -15.8. Let r = w - -0.21. Let q = 3.03 + -3. Which is smaller: r or q?
q
Let n = 765 - 761. Suppose 5*s + n*c = -0*c + 25, -5*s = -c. Let o = 1095 + -14213/13. Which is greater: s or o?
o
Let o be -1*11/(-1)*1. Suppose 9*k = o*k - 136. Suppose c - 8 = 4*n, n + n - k = -4*c. Is c at least 16?
True
Let v(g) = g**3 + 84*g**2 + 19*g - 179*g**2 + 84*g**2 - 2. Let f be v(2). Which is greater: 2/53 or f?
2/53
Let f be 5/21 - (-2)/6. Let b = 659 - 349. Let s = 310.2 - b. Which is smaller: s or f?
s
Let n = -352522/9 - -38958. Is n bigger than -212?
True
Suppose v = 6*c - 9*c + 1867, 3*v - 5*c - 5587 = 0. Suppose 361*o - 353*o - v = 0. Are 233 and o unequal?
False
Let l = 52/97 - 24354/47239. Is l less than -1?
False
Let l = 229 + -228.979. Let z = 171.021 - l. Are z and 1/2 non-equal?
True
Let t(z) = -6*z - 18. Let q be t(-5). Suppose 3*a + 2*a + 25 = 0, -5*g - 5*a + 50 = 0. Are g and q non-equal?
True
Let j(v) = 14*v**2 + 26*v - 348. Let b be j(-6). Let g be (-2)/(296/142) - -1. Which is greater: b or g?
g
Let u = -5555 - -5155. Is -403 greater than or equal to u?
False
Let a = 0.39159 - 0.1544. Let q = -111.77781 - a. Let o = q + 112. Is o <= 2?
True
Let z(p) = -8*p**3 + 10*p**2 - 19*p + 26. Let h be z(3). Which is smaller: h or -116?
h
Let a = -3117 + 3151. Is -9 > a?
False
Let k = -1 - -1. Let o = -457 + 467. Suppose 4*c + o = -k*d - 2*d, -2*c = -3*d + 17. Which is smaller: c or -1/9?
c
Suppose -836 = -6*z - 734 - 1158. Are -168 and z equal?
False
Let i = -47 + 38. Let t = 654/5 - 8532/65. Let w = -11/52 - t. Which is greater: w or i?
w
Suppose -2*t = -t + 157. Let a be 2868/(-18) + (-148)/(-111). Which is smaller: a or t?
a
Let b = -85065 - -10292961/121. Does 1 = b?
False
Suppose -103*m + 105*m = -12. Let s be -2 - ((-57)/45 + m/18). Is s bigger than 2/19?
False
Let d = -292.965 - 0.035. Which is smaller: d or -12?
d
Let d = 7 + 1. Let x(b) = 3*b + 32. Let u be x(0). Let p be (u/(-6))/(6/(-9)) - 2. Which is smaller: d or p?
p
Let o be 6125/24465 - (1 + (-15)/20). Is o equal to -1?
False
Suppose 4*k = k - 162. Let g = k - -128. Which is bigger: g or 72?
g
Let i = -24445 + 24451. Is 480/97 smaller than i?
True
Let b be ((-45)/(-6))/5 + 2/4. Let m be (3 - 4) + b/(6/153). Let r be m/20*(-4)/(-10). Do r and 1 have the same value?
True
Let r(h) = h**3 + 2*h**2 - h - 3. Let n be r(-2). Let u be n*(-7)/28*-292. Are u and -145/2 non-equal?
True
Suppose 0 = -8*t + 9*t - 122. Suppose -t*j + 117*j + 15 = 0. Is j < -9?
False
Let w(j) = j**3 + 10*j**2 - 11*j - 21. Let r be w(-1). Are -254 and r non-equal?
True
Let x = 43 + -216/5. Suppose 5*g + 3 = -5*q + 53, 3*q = -2*g + 30. Suppose 0 = -0*z - 4*z - b + 2, -z = 5*b - q. Which is bigger: z or x?
z
Let j = 55015 - 604755/11. Let s = 287772 - 287734. Is s equal to j?
False
Suppose 279