uppose -x*a + 4*u + 0*u = 12, 5*a + 4*u = 12. Is a >= -7/6?
True
Let a = 121 - 129. Let i(d) = -d**2 + 13*d + 39. Let s be i(16). Does s = a?
False
Let i be 3*(-15)/(-24) - 6/(-48). Suppose -3*v = -i*v. Is v != 14/23?
True
Let h = 0.00475 - 58.00475. Which is smaller: h or 3/5?
h
Let u = 201 + -197. Suppose 4*d = -u*x - 84, 8*x = 5*x - 4*d - 63. Which is bigger: x or -6?
-6
Let l = -2 + 1. Let r(n) = n + 63. Let s be r(-60). Suppose s*z + 1371 = 1371. Is l bigger than z?
False
Let q be (-2 - -8)*((-4340)/(-31240))/31. Are q and -1 equal?
False
Let d = 133.24 + -0.24. Let h = 83 - d. Let z = 1764.1 - 1764. Is h > z?
False
Let c = 57 - 37. Suppose -11*w = -6*w + c. Let m be w/(-9 - 3)*(-13 - 2). Is m < 3?
True
Let d = 6884/3 - 2294. Let b = -1.5 + 0.5. Which is smaller: d or b?
b
Let i be (-6 - (6 + -3)) + 9224/8. Is i at least 1149?
False
Let a = -590/2133 - -16/79. Let l = 38 - 36. Suppose -4*j = -l*z + 10, -4*j = z - 3*j + 4. Which is greater: z or a?
a
Suppose -3*i + 71 = 89, 6932 = -4*f - 4*i. Is -1727 greater than or equal to f?
True
Let h(g) = 15*g**2 + 11*g - 45. Let k be h(7). Let c be 0 - 12/(-20) - k/1295. Which is smaller: c or -1?
-1
Suppose -3*q + 9*w + 36 = 4*w, 0 = q - 2*w - 13. Let z be ((-4)/(-12))/(q/(-6)). Let s(g) = g**3 + 4*g**2 - 7*g - 10. Let h be s(-5). Which is smaller: z or h?
z
Let l = -756 + 756.0276. Let u = -0.1276 + l. Is u greater than -160?
True
Suppose 0 = 2*o + 2*j - 24, -j - 28 = -2*o + j. Suppose g = 12*m - o*m - 9, 4*m - 2*g + 60 = 0. Which is smaller: m or -6?
m
Suppose 0 = 26*n - 8*n - 227 + 641. Is -343/15 < n?
False
Let j(u) = -u**3 + 12*u**2 - 10*u - 9. Suppose 24*a - 22*a - 22 = 0. Let d be j(a). Suppose 64 = -d*q - m, 0 = -m + 2 + 2. Which is smaller: q or -35?
-35
Let x = -5585/7 + 797. Let u = -18 - -17. Which is smaller: x or u?
u
Let u = -1068 + 137774/129. Let r = 911/516 - u. Let j = -3 - -5. Is j <= r?
False
Let n(s) = s - 6. Let q(b) = -21*b - 114. Let z be q(-6). Let h be n(z). Is h at most as big as 3?
False
Suppose -3*q + v = 8, -6*q - 4*v = -11*q - 4. Let f be (-1 + -14)*(3 + -8 + 4). Suppose 0 = f*b + 11 + 139. Which is greater: b or q?
q
Let m be (-4 + 2)/(-2) + 0 + -14. Let q be ((-156)/16)/m - (-177)/(-140). Is 0 bigger than q?
True
Let v = 1675 + -1674.8154. Let k = 42.7854 + v. Let n = 1.03 + k. Which is smaller: n or 2/3?
2/3
Let m = -6496 + 6554. Suppose 0 = -6*q + 314 + 34. Do m and q have the same value?
True
Let l = -12 + -329. Let v = 12616/37 + l. Is 0 less than v?
False
Let j be 10/65 + -8*(-24555)/780. Which is greater: 247 or j?
j
Let n(p) = -4*p + 41. Let l be n(9). Suppose 17*x = -l*x - 2684. Is -121 less than x?
False
Suppose 0 = -3*q - 272 + 83. Let p be -4*(q/(-98))/(-9). Which is smaller: 0.198 or p?
0.198
Let c be (-5)/(-15) + (-128)/(-12). Let b be 4/c - (-10)/(-55). Which is smaller: 20 or b?
b
Let l = -310 - 309. Let y = l + 619.049. Which is smaller: y or -2/9?
-2/9
Suppose 697 = -4*y - 5*z, y = -z - 2*z - 169. Let x = -211 - y. Is 0 greater than x?
True
Suppose -43*m + 122*m + 158 = 0. Let r(c) = 18*c - 3. Let v be r(4). Let o = v + -209/3. Is o at least as big as m?
True
Let z = -13 - -11. Suppose -9*l = -12*l + 33. Suppose 42 = l*d - 5*d. Which is smaller: z or d?
z
Suppose 0 = 2*v + 7*v + 9. Let m(j) = 115*j - 11. Let y be m(v). Do -125 and y have different values?
True
Let r = 17008 + -16998. Is 217 not equal to r?
True
Let k(n) = -n**2 - 21*n - 87. Let x be k(-3). Which is smaller: x or -31?
x
Suppose q + 3*q = -l + 4, 0 = -2*l. Suppose 0 = -2*d - 10, -2*d - 9 = -4*v + q. Suppose v = g + 2*g - 27. Is 12 less than g?
False
Let l be 4/(-80) - (-25135)/645700. Which is smaller: -1 or l?
-1
Suppose -4*n - z = -1390, 275*z + 1736 = 5*n + 276*z. Which is greater: 350 or n?
350
Let f(t) = -t**3 - 2*t**2 + 86*t - 72. Let h be f(7). Is 448/5 > h?
True
Let l be (86/(-6))/((-442)/(-6630)). Are l and -208 equal?
False
Let w(z) = z**3 + 12*z**2 + 9*z - 12. Let b(i) = -2*i**2 - 2*i + 1. Let m be b(2). Let j be w(m). Suppose j*p + 39 = 13*p. Which is smaller: p or 2?
2
Let c(n) = -9*n + 25. Let d be c(4). Let h(q) = q**3 + 11*q**2 - 2. Let w be h(d). Let s be 1/w + 1/2. Is 13/11 bigger than s?
True
Let g = 114648 + -114651. Let z = -5 - -4.85. Are g and z nonequal?
True
Let n = -5 + 12. Let a = -1381/17596 - -1/332. Let s = a + -62/583. Is n equal to s?
False
Let h(l) = -46*l**3 - l**2 - 24*l - 107. Let j be h(-4). Is 2918 less than j?
False
Let s be (17484/8)/(((-2)/(-12))/((-110)/495)). Is -2914 > s?
False
Suppose 2*l = -3*r - 10, 4*l + 2*r = 6 - 18. Let g be (0 - l)/((-4)/62). Suppose 872*f + 19040 = 277*f. Is f < g?
True
Suppose -4*i + 0 = -4. Let z be 1*6/(-2) - 15/(-75). Let y = 22/5 + z. Which is smaller: y or i?
i
Let h = -11/1511 + -2521793/9066. Let r = -279 - h. Which is bigger: r or 1?
1
Suppose -5*f = 2*s + 16958, 4*s + 6794 = -2*f + 5*s. Which is bigger: f or -3395?
f
Let p = -3435 + 3159. Is -269 smaller than p?
False
Let x = -0.105417 - -0.005417. Let w = -0.2 + 0.3. Are x and w nonequal?
True
Suppose 0 = -5*a - 5*x - 4855, 4*a - 5*x = 3*a - 953. Let r be (-520325)/10*4/(-215). Let w = a + r. Is w at most 0?
False
Let t be 624/28 + (-8)/28. Let f = 21 - t. Let n be 30/(f - 1)*4/12. Which is greater: -11/2 or n?
n
Let z be (0 - 1)*102/(-9) - 12/(-18). Which is smaller: z or -23?
-23
Let k = 902 + -2927/4. Which is greater: k or 170?
k
Let p(o) = 146*o - 976. Let m be p(6). Which is greater: -279 or m?
m
Let u(y) = -y + 13*y**2 - 48*y**2 + 3*y + 1. Let q be u(-1). Which is smaller: q or -35?
q
Let b = -18 - -17. Let p(u) = 1 - 624*u**3 + 2*u**2 + 3*u + 1247*u**3 - 625*u**3. Let l be p(b). Is l at most as big as 5/8?
False
Let g = -25759 - -25762. Let t be 4 + -2 + 5 - -1. Is g >= t?
False
Let j(x) = x**2 - 118*x + 1551. Let k be j(84). Which is smaller: k or -1309?
-1309
Let f be (-150)/6 + 725028/29004. Is f equal to 1?
False
Let n be 9 - ((-20)/(-35) - 2868/756). Which is bigger: -10 or n?
n
Let n be 1/(1 - 2)*2. Suppose -1389 + 36574 = -31*m. Let o = m - -1130. Does o = n?
False
Let q = -981 - -976. Let p(h) = 3*h**2 + 19*h + 21. Let w be p(q). Is w at least 2/517?
True
Let b = -443 - -320. Let q = b - -59. Which is bigger: q or 2?
2
Suppose -789 = -10*a + 701. Let g = 167 - a. Is 124/7 <= g?
True
Let s = 3197.9 - 3188. Are s and 0 non-equal?
True
Suppose 15 = -u - 10. Let s = u + 27. Suppose -s*o = -4*o + 2. Is o > 1/5?
True
Suppose -191 = -4*s + 1713. Suppose -4*w + 4*g = 8*g - 384, 5*w - s = -g. Let i = w + -94. Is -6/29 at least as big as i?
False
Let i be 6/(-4)*8/(-6). Suppose r + i*r = 9. Let z = 109730 + -109727. Is z smaller than r?
False
Let u = -67.68 - -76.5. Let g = u + -9. Let x = 0.24 + g. Which is bigger: x or -0.4?
x
Let j be -5 - ((-6)/(-3) - -247). Let n = -251 - j. Let x = 15 - 10. Which is greater: n or x?
x
Let f = -23 + 22.1. Let s = 1.1 - f. Let w = -3543 - -3538. Which is smaller: w or s?
w
Let w = -0.0436 + -288.9564. Let i = w + 341. Which is smaller: 2/7 or i?
2/7
Let b = 19173 - 19173.2. Is 106 less than b?
False
Let n = -90.43 - -91. Let d = 0.304 - -0.666. Let h = n - d. Which is smaller: 0 or h?
h
Let o be (58 - 68) + (-3)/(381/(-1106)). Is -2 less than or equal to o?
True
Let x = 67 - 296.6. Let q = 230 + x. Do -1 and q have different values?
True
Let m = 5490078727/1011728 - 86823/16. Are 0 and m unequal?
True
Suppose -4*r - m + 21589 - 61620 = 0, r = -m - 10007. Do r and -10007 have different values?
True
Suppose -b - 2*h = -7, -33*b = -29*b - h - 1. Which is smaller: b or 29/25?
b
Let f = -19 - -30. Let a = 3 + f. Let i = -52 + 362/7. Is i less than a?
True
Let f = 101 + -233. Let o be (-3)/(-1) - (-14)/567*f. Is o >= 0?
False
Suppose 9*f - 417 = -12. Let u be f/(-6)*(-12)/195. Let g(m) = m + 1. Let x be g(-1). Which is smaller: x or u?
x
Let k be 240/(-280)*14/(-6). Suppose -g - k*g - 27 = 4*s, 3*s - 4*g + 14 = 0. Are s and -44/7 unequal?
True
Let j(n) = 19*n + 4. Let h be j(4). Suppose h = -29*x - 1138. Which is greater: -43 or x?
x
Suppose 6 + 1 + 12 = -19*a. Let b = -11801/15708 - 3/476. Is a greater than b?
False
Let a(v) = -11*v + 46. Let b be a(5). Let n(c) = -c**3 - 7*c**2 + 16*c - 17. Let t be n(b). Is t greater than 2/87?
True
Let z = -77.044 + 77. Let u = z + -0.996. Suppose f + 2 - 1 = 0. Which is smal