- 5*x = j. Do j and -0.09 have the same value?
False
Let a(v) = -11*v**3 - 71*v**2 - 46*v - 356. Let i be a(-6). Let h be -258 + 1 + -3 - 0. Is h less than i?
False
Let u = 7148 - 7151. Is 3378 != u?
True
Suppose -1058 = -180*x + 203*x. Is -46 less than or equal to x?
True
Suppose -28*u + 8540 = 15*u - 8*u. Which is bigger: 0 or u?
u
Suppose 5*q + 6 = -2*d + 190, -4*d + 44 = q. Let h(b) = -b**3 - 71*b**2 + 35. Let c be h(-71). Which is greater: q or c?
q
Let w = -67940 + 476640/7. Which is bigger: w or 152?
152
Let g be ((660/(-5005))/((-2)/(-259)))/((-9)/2). Does g = 4?
False
Suppose -216*t + 1260 = 36*t. Let z = 8 + 6. Is z <= t?
False
Let r = -24 - -26. Suppose -19 = 10*j - 6*j - n, r*j - n + 9 = 0. Is -57/16 smaller than j?
False
Let p = -7391 + 7657. Is p at most as big as 266?
True
Suppose i = 6*u - 3*u - 35, -2*i + u = 90. Let x = 43 + i. Let s be 1*4*x/(-32). Which is smaller: 0.12 or s?
0.12
Suppose 5*t - 3*t - y - 28 = 0, 0 = -y + 2. Suppose 5*v - t = 0, c + 2*v - 46 = -c. Let l be (2/8*-2)/(c/(-40)). Is l equal to -2?
False
Suppose -7*x = -6*x - a + 665, -5*a = 4*x + 2669. Is x greater than or equal to -667?
True
Let v(c) = c**3 + 17*c**2 - c - 15. Suppose 18 = -3*k - 33. Let r be v(k). Let j be 168/90 - (r + 0). Which is greater: j or 0.2?
0.2
Suppose -5*j = 5*a + 90, 5*a - j = 3*a - 42. Let g be -2 + (-25)/a + (-12)/(-16). Is g greater than 1/2?
False
Let s be -2 - 13/(11 + -10). Is -59 equal to s?
False
Let r = 42177.039 - 42132. Let l = -0.039 + r. Let p = 16 - l. Which is smaller: p or -1?
p
Suppose -2*w - 10 = -12. Let t be (-11 - -10) + (w - 1). Let i be 3 - 0 - (-51)/(-19). Which is smaller: t or i?
t
Suppose 17 = 4*t + 1. Let s = 108 + -248. Let f = s + 139. Do t and f have the same value?
False
Let l = 1675/99386 + -13/434. Suppose -4*z + 2*z = 2. Is z bigger than l?
False
Let g be 16/(-24) - (-20449)/30849. Do 1 and g have the same value?
False
Let h(j) = -25*j - 17. Let m(a) = -a**3 + 13*a**2 + 12*a + 25. Let v be m(14). Let t be h(v). Which is bigger: t or 57?
t
Let f(w) = -w + 7. Let g be f(5). Let i be 0 - 0 - g - -10. Suppose 62*c + 32 = -65 + 407. Which is smaller: i or c?
c
Let o = -3943 + 3850. Which is greater: o or -11?
-11
Let z be (-4 - 5) + 15 - (-97 - 0). Is 96 >= z?
False
Suppose -9*r - 48 = -11*r. Let d = 48 + -22. Is r < d?
True
Let l be 17/(1071/14) - 151190/414. Let s = l - -365. Let c be ((-3 - -2) + 1)/1. Which is smaller: c or s?
c
Let p be -17 + 34 + 2*(-2)/4. Let x(i) = -i**2 + 16*i + 1. Let q be x(p). Is -2/7 less than q?
True
Let m(p) = p**3 - 7*p**2 - 6*p - 21. Let k(v) = v**3 - 4*v**2 - 7*v + 36. Let h be k(4). Let j be m(h). Which is bigger: -56/11 or j?
j
Let b = -1058243/3067761 + 154/447. Let u = 453015/130397 + b. Which is smaller: u or 4?
u
Let i be (-27)/5 + 0 + (-28)/(-70) + -11. Suppose -6*u + 3*u - 21 = 0. Is u <= i?
False
Let s = -308 - -35. Let w = s + 286. Is w less than 3?
False
Let h be (1 - 0)/(1*-1) + (-51)/51. Which is greater: -56/93 or h?
-56/93
Suppose 847263 = 209*l + 3035911. Which is smaller: -10473 or l?
-10473
Let o(u) = -u**3 - 17*u**2 - 11*u + 109. Let g be o(-14). Let n = -301 - g. Which is smaller: n or 1?
1
Let q = -14 + 18. Suppose -b + 6 = -2*i, 18 - 6 = -b - q*i. Let k = 16/117 - 478/2925. Is k less than or equal to b?
True
Let y(d) = -d - 6. Let o be y(-17). Let x = o + 0. Suppose -5*f - x = -96. Which is smaller: f or 19?
f
Suppose -8 = -3*a + 5*d, -a - 5*d = -38 + 2. Let q(h) = h**3 - 11*h**2 + 5*h - 37. Let u be q(a). Which is greater: 3 or u?
u
Let n = 10.883 - 0.083. Let l = -12 + n. Let y = 5.8 - l. Which is bigger: 3 or y?
y
Suppose -21*y = -7786 - 6996 - 7499. Which is bigger: 1062 or y?
1062
Suppose -13*p = 883 + 170. Let k be (1134/84)/((-2)/12). Is k equal to p?
True
Let b = 689 - 768. Which is bigger: -1/4 or b?
-1/4
Suppose -200*k = -201*k + 2, -3*u - 2*k - 3566 = 0. Is u < -1190?
False
Let i = 54 + -29. Let h = i + -14. Let y = 12107 + -12110. Is h at most as big as y?
False
Suppose -3*u = h - 0*u + 2321, 5*u = -2*h - 4646. Let v = 9399/4 + h. Suppose 0 = 4*w - 0*w - 72. Which is bigger: w or v?
w
Suppose 6 = -4*f + f. Let a be f + 4 - -3*1. Suppose a*b - 40 = -j + 2*b, 10 = 5*b. Do 35 and j have the same value?
False
Let z = 1.0943 + -0.4943. Which is greater: z or -123/5?
z
Suppose 0 = 2*f - 2*g - 20, -129*g + 47 = 4*f - 134*g. Is f != -1473?
True
Let d be 5 + (-6)/4*(5 + -3). Suppose 2*b - 5 = 5*b + r, 3*r - 7 = d*b. Let s be (b/12)/(20/(-16)). Which is smaller: s or 2/7?
s
Let a(o) = 3*o - 2. Let q be a(1). Suppose 13*x - 27 = -q. Which is smaller: -3/37 or x?
-3/37
Suppose -5510 = 3*g - 5507. Is g not equal to -2/37123?
True
Let s = 6196 + -6195. Is -1410/19 smaller than s?
True
Let w be (155/(-25) + 5)/(8/(-6960)*9). Let m(g) = -117*g. Let i be m(-1). Is i greater than w?
True
Suppose 10*s = 8*s + 4*r - 36, -s = -5*r + 18. Let h be (-4)/3*s/(-12). Which is bigger: h or -16?
h
Let i = 183.3 - 711.3. Which is greater: i or -0.1?
-0.1
Let b = 15.3 - 21.69. Let c = b + 6.43. Is c > -23?
True
Let t be (-165)/180*136/(-51). Suppose 2*d + 0*a - 16 = -2*a, -d - 8 = -3*a. Suppose -1 = -4*l + h + 7, -d*h + 16 = 0. Which is smaller: l or t?
t
Let h be (-94)/(-40) + 4/10. Suppose 20*x = -14 + 54. Suppose 2*d - 16 + 2 = -3*b, -5*b = -x*d - 2. Which is greater: h or d?
d
Let a(d) = -d**3 - 12*d**2 - 10*d + 13. Let f be a(-11). Let u be 6*f/39*(-105)/(-4). Is u > 9?
False
Let v = -129.1 + 0. Let k = -129 - v. Let n be 4/(-3)*(7 - 1). Which is smaller: n or k?
n
Let q = 2451 - 2451.06. Suppose 0 = b - 3*b - x + 18, -3*b = 5*x - 41. Is b > q?
True
Let p be 1/(-8)*-4 - (-2514)/(-5020). Does p = 0?
False
Let h = 3540 + -3539. Which is greater: h or 2135?
2135
Let m be (-1026)/45*20/(-6). Let v = m + -48. Is v bigger than 30?
False
Let i be 18/54 - 8/(-12). Which is greater: 1/349 or i?
i
Let q = 1177 + -2586. Which is greater: -1410 or q?
q
Suppose 4*l - 2135*j = -2130*j - 1985, -2*l - 2*j - 1024 = 0. Do l and 5 have the same value?
False
Let c(j) = 14*j**3 + 5*j**2 + 161*j - 806. Let u be c(5). Which is smaller: u or 1867?
1867
Let v be (-9)/(-2)*(-2412)/(-27). Let h = v - 512. Is h at least -112?
True
Suppose 249*i - 119 + 119 = 0. Is -114/457 < i?
True
Let w = -12339 - -61783/5. Is 3/13 > w?
False
Let n be (-1)/(-10)*(-40 + -14). Which is smaller: n or -4?
n
Let d = -0.0785 + -420.9215. Let s = -422 - d. Which is bigger: -1/33 or s?
-1/33
Suppose -21*h - 1085 = 2*h - 16*h. Which is greater: h or -158?
h
Let c = -59 + 60. Which is bigger: c or -1583?
c
Let q = 2983.1 - 2746. Let j = q + -237. Do -6 and j have different values?
True
Let m(i) = -356*i + 697*i - 353*i + 9*i**2 - i**3 - 13. Let b be m(7). Let w = 1781/21 - 85. Is w > b?
False
Let k = 75/4 + -683/36. Is -17.38 less than or equal to k?
True
Suppose -27 = 2*u + 3. Suppose -128*b + 81*b - 517 = 0. Is b >= u?
True
Let w = -0.9 + 0.83. Let t be 3 + (32/15 - (-4)/(-30)). Suppose -4*a - 2 = -3*s, -2*s - 3*s - 20 = t*a. Is a at most as big as w?
True
Let d be (-6)/(-82743)*11/(-187)*-17. Which is smaller: 1 or d?
d
Let z be 21*(-10)/(-70) + (-1*24)/4. Which is greater: z or 0.158?
0.158
Suppose 5*c = -4*f - 397, 4*c + f - 3*f + 302 = 0. Let m be (1330/40 + -14)*-4. Is c less than or equal to m?
True
Let l = -53971/5 + 10805. Suppose 2*w - 6 = 14. Is l greater than or equal to w?
True
Suppose -4*j = -5*q - 478, -4*j - q = -5*q - 476. Let w = j - 117. Is w > -20/33?
True
Let j = 8767 + -8771. Is -163 greater than or equal to j?
False
Let l be 13/((-65)/(-492)) + (-9)/(-15). Let b be -2 + l/63 + (-8)/14. Are b and 2/251 non-equal?
True
Let y be ((-17)/4)/(60045/(-5460) - (-17 - -6)). Is 0.6 not equal to y?
True
Let c be 3569 + 2*(-1)/(-2). Let s be (-5)/3*(-189)/c. Which is bigger: s or 2?
2
Suppose -u + 5*l = -63, -5*u - 6*l = -11*l - 315. Suppose -u*t = -55*t + 112. Which is bigger: t or -41/3?
-41/3
Let n = -3 + -5. Let u be (8 - (-5)/(-1)) + (-5 - 2). Let o(m) = m**2 + 6*m + 1. Let s be o(u). Are n and s equal?
False
Let i = 2/33 - -293/66. Suppose 12 = -b - b. Let v be (b - -8) + -1 + 5. Is v smaller than i?
False
Suppose 2*p - 84 = 4*a, 116 = 3*p + 6*a - 2*a. Suppose 0 = 32*h - p*h + 1504. Which is bigger: -1 or h?
h
Let v(j) = j**3 - 4*j**2 - 19*j - 3. Let t be v(7). Let z be (-18)/(-22) + (-2)