be 4*l/(-20) - 1. Which is greater: -158 or i?
i
Let l = -759 + 764. Suppose 9*g + 2*a = l*g + 246, 0 = g + 4*a - 65. Do -1 and g have the same value?
False
Let p = -1.5 + -0.5. Let g = 79 + -42. Let m = g + -48. Are m and p non-equal?
True
Let z(a) = -2*a**3 - 15*a**2 + 121*a + 78. Let w be z(-17). Which is smaller: w or -3?
-3
Let b be (354 - -26)*(-4)/(-20). Is b > 78?
False
Let g = -244/13 + 2046/91. Let q be (16/(-10) - (-4)/(-10))*(-28)/(-14). Let k = q + g. Is -32 greater than k?
False
Let g(j) be the second derivative of 2*j**3/3 + 81*j**2/2 + 3*j - 11. Let t be g(-20). Is -65 > t?
False
Let t = 37.652 - 38.2. Let x = 0.452 - t. Is x smaller than 149?
True
Let k = 224.326 + 3.674. Which is smaller: k or 1?
1
Let j = -176 - -103. Suppose 130 = -5*q - 235. Is q greater than or equal to j?
True
Let s = 232.76 + -268.1. Let l = s + -0.56. Let a = l - -36. Which is greater: a or 2/15?
2/15
Suppose 5*r - 2*g = 26, -11 = -0*r - 2*r + g. Suppose 2*h - 9 = f, r*f + 4*h - 2*h = 14. Is -14/41 greater than f?
False
Let v(k) be the second derivative of 16*k + 0 - 1/2*k**2 - 8/3*k**3 - 1/12*k**4. Let l be v(-17). Is -18 < l?
False
Let p = 1807 - 1807. Suppose -5*j - 10 = 40. Let h be (j/15)/(109/(-3)). Which is smaller: p or h?
p
Let v be -120*(-3 - (190/(-25))/2). Let m = -0.9 + 1.9. Is m greater than or equal to v?
True
Suppose 7*r - 21 = 4*r. Let x be r/(-9) - (-44)/(-198). Which is bigger: -2/39 or x?
-2/39
Suppose 0 = -3*z, -3*z + 638 = 3*f - 109. Is f at most 249?
True
Suppose 0 = -8*r + 2*r + 18. Suppose -3*o + 9 = -5*a - 8, r*o = a + 1. Let h be (75/10)/(o - 3/(-6)). Which is smaller: h or -3?
h
Suppose 4*i = -2*i + 492. Suppose 0 = 4*v - 4*d + i - 206, 5*d - 25 = -v. Which is bigger: 24 or v?
v
Let d be (-50)/24*(-3)/15. Let b be 1 + 15/(-35) + 8/(-14). Which is smaller: d or b?
b
Let b = -2.4 + 2.3. Suppose -15*y = 82*y + 42098. Is y greater than b?
False
Let v(c) = -2*c**2 + 4*c + 71. Let h be v(7). Let y be 2 + ((-20)/(-100) - 813/365). Which is smaller: h or y?
y
Let g(v) = 34*v**2 + 71*v + 122. Let r be g(-3). Is 221 > r?
True
Let t = -2.28 - 144.72. Let d = t - -122. Which is smaller: d or 2/5?
d
Let r be (9 + -88)*(-2)/82. Which is smaller: 2 or r?
r
Let f = 27079 + -25349. Are -3/8 and f equal?
False
Suppose -z - 3*r - 7 = 0, -8*z = -7*z + 5*r + 9. Let d be (2355/(-590) + 4)/(z/(-8)). Is d != -1?
True
Let i be 1/26*6*(-56)/588. Let q = 15 - 15. Do i and q have the same value?
False
Let b be (-9 + 10)*-1013 - (-9)/(-3). Is b smaller than -1/4?
True
Suppose -2*x = -0*c + c - 11, -c + x = -5. Let z be ((-2)/c - (-15)/(-70))*-6. Let a be (-4)/16 + -95*z/108. Which is bigger: a or -2?
-2
Let a = 74 - 69. Let x(n) = 5*n + 27. Let u be x(a). Let d be (u/10 - 4)*(-190)/8. Which is smaller: -30 or d?
-30
Let g(w) = 9*w**3 - 152*w**2 - 18*w - 21. Let x be g(17). Is x != -41?
True
Let v be (79/(-271444))/((-12)/18 + 22/(-12)). Which is smaller: 0 or v?
0
Let d = -542 - -530.95. Let k = d - -11. Let h = 7441/8 + -930. Does k = h?
False
Suppose -7*c + 15 = -2*c. Let s(m) = -5*m**3 - 3*m**2 + 2. Let i be s(c). Which is smaller: i or -159?
i
Let t be (3/9)/(2/30). Let n be 150 + 4 + t + 0. Which is smaller: n or 160?
n
Suppose -5*l + 3*t - 15 - 37 = 0, -5*t - 16 = l. Let a(f) = f + 12. Let k be a(l). Let x be k/2 - 357/34. Is -10 <= x?
True
Suppose -215 - 333 = 548*s. Is s at least as big as -87/74?
True
Let b = -2.2 + -0.8. Let o = 1 + b. Let w = -2886 + 2872. Which is bigger: w or o?
o
Let d = -10207/1375305 - -1/4965. Let p = d + 847/2216. Does p = -0.16?
False
Suppose -4*n + 22*n - 1314 = 0. Suppose -n = -2*w - 75. Which is greater: w or 2/223?
2/223
Let h = -0.13 - 5.87. Let y = 973.61 + -973.5. Is h greater than y?
False
Let o be ((-18)/100)/(-6 + 243/45). Let j be -57*(-7)/((-42)/(-4)). Suppose -j*c = -37*c. Is o less than or equal to c?
False
Let f be (-3 - -2)/(3/(-27)). Suppose -f*n + 273 = -96. Let k = 1/48 - 13/48. Do n and k have different values?
True
Let y = 1 - 0.7. Let g = -2460 + 2498. Which is greater: y or g?
g
Let x = 485 + -471. Let f = -122 - -119. Which is bigger: x or f?
x
Let j = 117/22 - 4603/154. Which is bigger: -1 or j?
-1
Suppose 7*x - 2*x = 2*o - 50, -2*o = 3*x - 18. Let k be (-22)/33 - o/(-18). Which is smaller: 0.024 or k?
0.024
Let w(h) = 0*h**3 - 34*h**2 - h**3 + 32*h**2 - 54. Let d be w(0). Let t = 52 + d. Is t greater than -1/3?
False
Let q(n) = -28*n + 206. Let o be q(-20). Suppose o = -2*r - 18. Is r > -392?
False
Suppose 8*n - 352 = -368. Let r(f) = 15*f + 29. Let k be r(n). Which is smaller: k or -3/53?
k
Suppose 0 = 2*g + 8, 0 = l + g + 864 - 858. Which is bigger: l or -55/102?
-55/102
Let p(f) = -f**2 - 6*f - 6. Let z be p(5). Let q = -35 - z. Let t be 18/4*q/39. Which is smaller: t or 1?
1
Let b be 6 + ((-31218)/4590 - -1). Let c = 2/85 + b. Is 59/2 greater than c?
True
Suppose 0 = 3*m + k + 2159, -18*m + 13*m - 3591 = -2*k. Which is smaller: m or -718?
m
Suppose -3*r + 282 + 423 = 0. Suppose -5*h = q + 70, -6*q = -q + 2*h + r. Which is bigger: q or -87/2?
-87/2
Let p = -81.5 + -244.5. Let l = -286 - p. Is 2/5 greater than or equal to l?
False
Let r(o) = 40*o + 1631. Let v be r(-36). Which is smaller: 186 or v?
186
Let q = -12.03 + 0.83. Let v = 6.2 + q. Let h = 57 - 62. Are v and h equal?
True
Suppose 4*a + 5*w + 66 = 0, -5*w = -2*a - 2 - 16. Let g be (2 + -6 + 2)*5. Is a bigger than g?
False
Let o = 236.896 - -0.104. Let u = -227 + o. Which is smaller: u or 2/9?
2/9
Let t = -1436451/3055 - -2351/5. Is -1 greater than t?
False
Let w = -201 - -19. Let u = w + 908/5. Which is smaller: -1 or u?
-1
Suppose 2*r = 7*r + 2*a - 13, 5*r + 4*a - 1 = 0. Are r and -685 equal?
False
Let s be -1*(-3 + 3) - -1. Let t = 2 - s. Let g = 2144 - 42883/20. Which is smaller: t or g?
g
Let s = 45 - 40. Suppose -s*j + 90 + 160 = 0. Suppose 3*a - 137 = -j. Is 29 > a?
False
Let k be (-90 - -53)*15/10*124/3. Is k < 0.1?
True
Let c = -55.1259 + -0.0741. Which is smaller: -4/5 or c?
c
Let z = 49 + -65. Let u(t) = -9*t - 82. Let m be u(z). Is m greater than 62?
False
Let k = 213797629715847/120043300895 - -3/510822557. Let m = -1781 + k. Is 0 < m?
True
Let a = -641254/5 + 7227039/55. Let g = a - 3145. Which is smaller: 4 or g?
4
Let n = 13123 - 39373/3. Which is smaller: n or -1139?
-1139
Let p be (-159)/((-36)/960*-16). Is -259 at least as big as p?
True
Let q be (-432)/44 - (-190)/19. Are q and -5.4 unequal?
True
Suppose 7*a - 1105 - 71 = 0. Suppose -a*x = -166*x - 766. Which is smaller: x or 384?
x
Let g = -8780 + 17561/2. Does g = -4/449?
False
Let h = -5 - -3. Suppose -10*z + 12*z - 3*d = 15, 36 = -5*z - 3*d. Which is bigger: h or z?
h
Let n = -16462 - -16490. Let j = -161/285 - 2/57. Which is smaller: j or n?
j
Suppose -133 = -177*m - 96 + 140. Which is smaller: m or -2/753?
-2/753
Let a = -13.1 + 0.1. Suppose -4 = -2*v - 8. Let j be 4/(-8)*6 + v + 5. Is j not equal to a?
True
Suppose -3*b + 0*g + 120 = 5*g, -5*b + 4*g + 237 = 0. Let l be 60/100*6/b. Is l at most as big as -1?
False
Suppose 0 = h - 2 + 30. Let j be (-52)/h + 78/(-91). Which is smaller: -8/19 or j?
-8/19
Let x(z) = 4 + 0 - 2*z + 0 - 3. Let t be x(-1). Suppose 2*r - m = -5, -t*m - 15 = 3*r - 7*m. Which is greater: 2/25 or r?
2/25
Let y be ((2/(-3))/((-20)/3570))/(-1). Let t = 118 + y. Which is greater: -7/15 or t?
-7/15
Let c be (-12)/(-64)*4*(-308)/(-11). Let q be 84/c - 3*3*-51. Is 463 not equal to q?
False
Let a = -2359 - -3232. Which is greater: 874 or a?
874
Let z(g) = 117 + 55*g - 57*g + 7. Let p be z(14). Which is bigger: 0.1 or p?
p
Let l = -11 + 20. Let j be 5/40 + 104/192. Let d = 1/6 - j. Which is bigger: l or d?
l
Let s = -19 - -65. Suppose -s*z - 96 = -44*z. Let p be -3 - (z/14 + (-3)/(-7)). Is 4 at most p?
False
Let k be (-64)/3*(-6)/8. Suppose 20*o = k*o. Is 3/16 <= o?
False
Suppose 4*c + 4*z = 8*z - 48, -5*z - 5 = 0. Suppose -1263 = 23*u - 4253. Let a be u/20*(-12)/6. Is c at least as big as a?
True
Let h = -117.924 - 0.076. Let r = -100.18 + 40.18. Let w = h - r. Do -1 and w have different values?
True
Let b = -275.37 + -6.63. Let t = b - -282.3. Is 5 >= t?
True
Let r = 24.519 - 12.519. Is 1/159 at most r?
True
Let c = -605/3 - -202. Suppose 5 = -3*r - 2*q, -16 = q + 3*q. Let s be 2*(-2)/12*r. Which is bigger: s or c?
c
Suppose -5*p + 15 =