 Does t = z?
False
Let p = -143.71 + -1.29. Let k = 169.612 - 23.942. Let u = p + k. Is u > 0.1?
True
Let m(u) = 8*u**2 - 13*u**2 + 23*u**2. Let k be m(-1). Is 71/4 != k?
True
Suppose -p + 25 = 4*w + 3, p - 27 = -5*w. Suppose -1600 + 1605 = -w*i. Which is smaller: i or -4/11?
i
Let c(v) = 7*v - 1. Let o be c(2). Let u(t) = 4*t + 181. Suppose 3*i = -3*w - 111, 4*w - 99 = 2*i + w. Let d be u(i). Is o < d?
False
Let s be ((-16)/6)/(-2)*12/(-8). Let k be 1*(-1)/7*s/(-10). Suppose 3*v = 5*d - 1 - 13, d - v - 4 = 0. Which is bigger: k or d?
d
Let w = 1 + -1. Let y = 315012 + -198772570/631. Does w = y?
False
Let w = -618 - -438. Let o = w - -180. Is o not equal to -11/13?
True
Suppose -2*c = -36 - 10. Suppose 0 = -5*p + c + 12. Suppose -3*s + 3*u + 25 = -u, -u - p = -s. Is s at least 0?
True
Let z = -98 - -120. Suppose 5*n - 8154 = -z*n. Is 301 smaller than n?
True
Let d = 3498 + -3446. Let z = 5543/110 - -6/55. Which is bigger: d or z?
d
Let h(k) = k. Let d(v) be the first derivative of -3*v**2/2 + 18*v - 34. Let n(f) = d(f) + 4*h(f). Let j be n(-19). Which is smaller: j or 3/19?
j
Suppose 9 = 2*r - 5*o, -2 + 0 = r + 4*o. Let h be r/6 - 3/(18/(-142)). Let t(z) = -z + 25. Let p be t(h). Are p and 20 equal?
False
Let k = -152.862 + 2.862. Which is greater: -13 or k?
-13
Let u = -4 - -3.94. Let d = 0.7928 + -0.6928. Is d < u?
False
Let w = 1265 - 1265. Is 4/1841 > w?
True
Let j be ((-60)/180 + (-2)/6)/((-52)/(-18)). Let m(x) = x**2 + 8*x + 6. Suppose 11 = 3*o + 32. Let l be m(o). Is l >= j?
False
Let a = -11 - 56. Let y = 44553/2 - 22276. Which is smaller: a or y?
a
Let q = -2.75 + 3. Let j = -2.51713 - -2.50713. Is q at least as big as j?
True
Let f be 1911/(-9) - 2/(-6). Suppose -17543 - 16111 = 97*g + 61*g. Which is smaller: g or f?
g
Let h = -82/19 + 859/133. Let f = 158733909/308 + -515372. Let c = h + f. Is c bigger than 1?
False
Let d be (-63152)/2490 - (-11 + 15). Let q = 12/415 + d. Let s = 24 + q. Which is smaller: -6 or s?
-6
Let q be 5 - (1/(-5) + (-1512)/40). Suppose 54*c = q*c - 11. Do 6/13 and c have different values?
True
Suppose -197*n = -204*n - 11221. Does n = -1604?
False
Let l = -555 - -140. Let j = -198.86 + 197.86. Which is greater: j or l?
j
Let h = 1625 - 1618. Which is smaller: h or 50?
h
Let j be (1 - 2)/(11*(-1)/11). Let p be (-4)/(-16)*2/(-9). Is p less than or equal to j?
True
Suppose 9 = -4*m - 4*n - 3, 16 = -4*m - 5*n. Let q = m - 1. Let f be ((-5)/180)/(27/8 + -3). Is q < f?
False
Let q(u) = u**2 + 5*u - 2. Let m be q(-6). Suppose 0 = -85*o + 223*o - 414. Let a be m/(-36)*o - (-6)/45. Which is smaller: 0 or a?
a
Suppose 15*n = 5*n + 40. Let c(p) = -p**3 + 5*p**2 + 4*p - 5. Let a be c(n). Is -0.2 less than or equal to a?
True
Let r be -836 - (-7 + 12) - -1. Let g be (11 - (-9226)/r)*10/8. Which is bigger: -2 or g?
g
Let k = 97.49 - 97.69. Let u = -63 - -58.7. Which is greater: k or u?
k
Suppose 2*m = 5*t - 6, -19 = -3*m - 5*t - 3. Suppose 3*l = -2*f + 5, 3*f = -m*l - 2 + 12. Do 1/163 and l have the same value?
False
Suppose 0 = -z + 5*z. Let r = z - -3. Suppose 2*j - m - 9 = 0, m - 35 = 3*j - 49. Is j less than r?
False
Let h = 49.3 + -33. Let m = -16.3 + h. Is m bigger than -6/59?
True
Suppose -2*p - 8*p = -30. Suppose q - 3*q + p*w - 10 = 0, -3*q - 13 = -4*w. Which is smaller: 2/103 or q?
2/103
Let s = -4/111 + -157/777. Let b be ((-118)/(-413))/(1/7) - (2 + 0). Does s = b?
False
Let h = -5/7 - -31/14. Let b = -90.78 - -90. Let x = b - -1.78. Is h greater than x?
True
Let q be 1 + (-3)/((-12)/4). Suppose q*v = -3*b + 5*v - 24, b = 4*v - 2. Which is bigger: -67/6 or b?
b
Let q be (12/2)/(9/12). Let l be ((-2)/(-8))/((-18)/q). Let k = -70616 + 70615. Which is smaller: l or k?
k
Suppose -36*l + 1909 = 26*l + 21*l. Is l greater than 50?
False
Let v = -5443 - -5444. Let d = 5.01 - 0.01. Let o = d + 2. Is o bigger than v?
True
Let d = -214 - -555. Let j = d + -276. Is j >= 63?
True
Suppose 3*q + u - 9 = -4*u, -u = 5*q + 7. Let l be q/6 + 364/1110. Let k = -8137/555 + l. Is -16 < k?
True
Let v = -4862 + 3776. Is -1088 <= v?
True
Let g(t) = t**3 - 5*t**2 - 55*t - 1. Let v be g(-5). Let i be (-6)/9 + 3 + v/(-18). Do i and 3/260 have different values?
True
Suppose -5*n = -0*n - 15. Let k be -35*(n - 115/35). Suppose 6*w = 2 + k. Which is greater: 18/11 or w?
w
Suppose 0 = 3*p - 2*m + 9, -p - 3*m + 0*m = -8. Suppose -3*c - c = -24. Let d be c/15 - ((-404)/(-160) - 2). Which is smaller: d or p?
p
Suppose -315 = 71*h - 92*h. Suppose 292 = -2*u - 2*j, -2*j = -3*j + 4. Let n be ((-2)/h + 355/u)*-2. Is n less than 4?
False
Let i be (2 - (-315)/(-10))*2. Let k = -178/3 - i. Which is smaller: k or 1.02?
k
Let t(b) = b**2 + 2 + 302*b + 2*b**3 - 303*b + 0*b**2 - 3*b**2. Suppose -5*v + 2*v = -3. Let s be t(v). Which is smaller: 2 or s?
s
Suppose v + 16*v + 3 = 14*v. Which is greater: v or 143?
143
Let n be (10/(160/(-36)))/((-6)/608). Let j be (-4)/(-52)*n/(-6). Which is smaller: j or -3?
-3
Let j = -1765/4564 - -11/28. Suppose 2*z - 6 + 3 = -5*n, 4*z = -4. Which is greater: j or n?
n
Let h be -1 - ((-5 - -110) + -5 - -4). Let t = h - -63. Which is greater: t or -41?
-41
Suppose 0 = -3*c + p - 6 + 4, -3*p = 3. Let n = 3319/9 - 983/3. Let y = n + -41. Which is smaller: c or y?
c
Let q = 0.04759 + 0.00541. Let j = 71 - 62. Is q >= j?
False
Suppose -3*d + 14 = -5*q - 3, 5*d = -3*q + 17. Let m be d/12 + (-145)/(-15). Which is smaller: 2/7 or m?
2/7
Let s = 279 - 181. Suppose 2*r + 3*c = 218, -2289 + 2758 = 5*r - 2*c. Is s >= r?
True
Let y = 8362 + -2659. Is y at least 5703?
True
Suppose -19*j + 38*j = 190. Suppose -7*p + j*p + 5*t = 48, 93 = 4*p - 3*t. Is 89/4 greater than p?
True
Suppose -5*d = -3*l + 3077, 8*d = 2*l - 3058 + 1016. Are 1030 and l non-equal?
True
Let j = -307849 + 307873. Let q(r) be the second derivative of r**4/12 + 2*r**3/3 - r. Let v be q(-4). Which is bigger: j or v?
j
Let q be (1*10/25)/(11/(-655)). Let k = q - -24. Let f = -0.4 - -0.3. Which is smaller: f or k?
f
Let z be (-16)/(-12) + 0 - 12/36. Are z and -12702 non-equal?
True
Suppose -k + 3*x = x - 6, x + 8 = 3*k. Suppose -s - 2*c - c = -5, 3 = 3*c. Suppose s*v = -4*d + v + 14, 4*d - 4*v = 4. Is k <= d?
True
Let a = 3.2514 - 3.1414. Do -26/25 and a have the same value?
False
Suppose 0 = 5*t + 4*y - 29 - 77, y + 1 = 0. Let m(p) = p**3 + 24*p**2 + 40*p + 5. Let g be m(-2). Which is greater: g or t?
t
Suppose z = -5*c - 4*z + 30, 5*c - 9 = 2*z. Let x be 4 - 0 - -1 - 2*c. Is -2/515 less than x?
False
Let n(z) = 584*z - 2471. Let y be n(4). Which is smaller: y or -120?
y
Let x be -3*8/(-42) - 2433/4221. Which is smaller: -19/2 or x?
-19/2
Suppose 0 = 3*j - 9 + 3. Suppose j*x = 7*x. Let g be ((-306)/132*(-5)/3 - 4) + 0. Which is smaller: x or g?
g
Let s(o) = 7*o + 25. Suppose -884 = 36*h - 92. Let l be s(h). Is l less than or equal to -132?
False
Let a = 3430 + -3466. Which is smaller: a or -476/13?
-476/13
Suppose 4*t = -4*h - 92, 8*t + t = -4*h - 122. Is h < -237/13?
False
Let b(p) = -7*p - 6. Let w be b(3). Let q = w + 26. Let a = -1.038 - -1.938. Is q greater than or equal to a?
False
Suppose 7 = -z - 3*r, 9 = 2*z + 2*r + 3. Let d be (-12)/18*21/2. Let t be (-40)/d - (-2)/7. Which is smaller: t or z?
t
Let t be 2 + 4*(-2)/5. Let m = 657.7 - 719. Let j = m - -61.4. Which is greater: t or j?
t
Let l = 2294540896/441 + -5203038. Let g = 20/147 - l. Which is smaller: -1 or g?
g
Let t be (8220/959)/((-6)/(-280)). Is t <= 400?
True
Let m(b) = -8*b**2 - b - 2. Suppose -2*j = 7*j + 27. Let k be m(j). Which is smaller: k or -70?
k
Suppose 1963*l - 1970*l = -7. Is 7/324 <= l?
True
Let t = -2/261 + -17734/1827. Suppose 8 = -4*p + 16. Suppose 4*o = h - 39, -h = 2*o + p*h + 9. Which is smaller: o or t?
t
Let k be 931/(-399)*(-3)/1. Are 2 and k equal?
False
Let j = -81025/4 - -20111. Let b = 16833/116 + j. Let t be ((-4)/(-6))/((-3)/3). Is t less than b?
True
Let o = 1917 - 30673/16. Which is bigger: o or -0.0407?
-0.0407
Let u = -1696 + 2782. Is 1086 > u?
False
Let f be -3 + (-250)/(-90) - 381/1053*3. Let n = -1 - -1. Is n at most as big as f?
False
Let w(i) = -i - 8. Let t be w(-2). Let s be (4/(-3))/((-1)/t). Let a be (-6*5/s)/((-6)/16). Which is smaller: -9 or a?
a
Let x = -94 + 304. Let r = x + -296. Which is smaller: -88 or r?
-88
Suppose -t = 14 - 20. Suppose -5*f - r =