greater than t?
False
Let q = 809 + -999.8. Let u = q + 188. Is 1 smaller than u?
False
Let d = 29 - 43. Let q = d - -11. Which is bigger: -38 or q?
q
Suppose 104 = 79*t + 25*t. Is t < -449?
False
Let q = 6177 + -25221/4. Which is greater: -127 or q?
-127
Let n be (54/(-189))/(4/24437). Which is bigger: n or -1747?
n
Suppose -12 = 43*i + 37*i - 68*i. Which is greater: 2/29053 or i?
2/29053
Suppose -43*r = -71*r - 12768. Let f = r + 449. Which is smaller: -12 or f?
-12
Let y(q) = -q**3 - 7*q**2 + 8*q - 13. Let j be y(-8). Let t be (-68)/(-306) - (-754)/9. Suppose 17*o - 5*o = -t. Which is smaller: j or o?
j
Suppose 4*z = 2*z + 174. Suppose 0 = -13*k - z + 9. Which is bigger: -5 or k?
-5
Suppose -66*g - 152 = -85*g. Suppose -l + 4*v = 46, 3*l - 4*v - 182 = g*l. Which is greater: l or -37?
-37
Let d = 4365.826 - 0.826. Which is smaller: d or 0?
0
Let z(s) = -8*s**3 + 6*s**2 + 118*s - 120. Let v be z(1). Let g = -497/10 - -50. Does v = g?
False
Let c be (39/13 + 13)*(3 - (-236)/(-16)). Is 18 bigger than c?
True
Let a = -2609 + 5998. Is a smaller than 3390?
True
Let o(s) = 62*s**2 + 11297*s + 92. Let a be o(-182). Is a greater than or equal to -2272?
False
Let r be 10/35 + (-173)/(-7). Suppose -2*p = -3*t + 983, t = 6*p - 4*p + 333. Suppose t + 150 = 19*g. Is r greater than or equal to g?
True
Let k = -10370 - -10347. Let b = 0.8 + -5.8. Let v = 4 + b. Which is bigger: k or v?
v
Let y = 2122 - 3724. Is y at most -1602?
True
Let z(s) = 34*s + 646. Let c be z(-19). Let f be (-348)/351 + (-1)/(-1). Which is smaller: f or c?
c
Let j = -4250 - -4167. Which is smaller: j or 0.31?
j
Suppose 0 = -4*x - 7*x - 7817 + 843. Is x greater than or equal to -635?
True
Suppose h = -3*x - 1 - 12, -2*x = 4*h + 2. Let y be 0 + (-68)/7 - (-34 - -31). Let k = -7 - y. Is k != h?
True
Let n = 14503556 - 7802917161/538. Let l = n + -1/269. Suppose 2*f + 15 = 1. Which is smaller: f or l?
l
Let y(d) = 6*d**2 - 84*d - 193. Let z be y(16). Which is smaller: z or -4/1301?
z
Let j = 2829 + -2697.3. Let m = -122 + j. Let l = m + -10.4. Is l equal to -2/3?
False
Suppose 0 = 2*z - 2*d + 1390, 0 = -4*z - 3*d - 1776 - 976. Let o = 688 + z. Which is smaller: o or -72/17?
-72/17
Let i(v) = -v**3 - 9*v**2 + v + 66. Suppose 47 = -4*a + 3*x, -2*x - 6 = 2*a - 0*a. Let s be i(a). Which is greater: -5 or s?
-5
Let k = 64 - -17. Suppose 0 = a + k - 61. Is a at most as big as -32?
False
Suppose -2745 - 4535 = -108*n - 22*n. Which is smaller: n or 76?
n
Suppose 0 = 5*b + 1694 - 1699. Let v be -6*140/21 + b. Suppose -3*q + 4*j = 102, 35 + 56 = -2*q - 5*j. Which is smaller: v or q?
v
Suppose 0 = -2*p - 12*p + 28. Suppose -f + 9 = p*f. Suppose -16 = -f*u - 13. Which is smaller: 4 or u?
u
Let p = 432 + -433. Is 2/2949 greater than p?
True
Suppose 0*p + 913 = 3*d - 5*p, 0 = -5*d + 3*p + 1527. Suppose d = -119*b + 121*b. Which is smaller: 154 or b?
b
Let s = -189 + 571/3. Suppose 3*u - 4*u = -7. Let d = u - 8. Is d < s?
True
Let y = -31/561 + 86825/1591557. Let k be ((-9)/3)/1 + 3. Does k = y?
False
Let x = 2252 + -2254. Which is smaller: 0.0605 or x?
x
Suppose 0 = -11*k - 9*k + 4*k. Which is bigger: k or 15/463?
15/463
Let x = 1.9 - 0.76. Let z = 56.14 - x. Let k = z + -56. Is 1 at most k?
False
Let a = 182 - 179.66. Let o = 2.34 - a. Let l = 0.5 + 0. Which is smaller: o or l?
o
Let x = -58/5 + 267/20. Suppose -10*k - 37 + 57 = 0. Let f = k - x. Is 13 greater than f?
True
Let w(z) = -15*z + 167. Let r be w(-8). Let c be (-435)/(-18) + r/42 + -7. Which is bigger: 22 or c?
c
Let j be (95/(-20) - (-3)/(-12))*(-216)/(-1080). Let r(z) = -z**2 + 3*z. Let p be r(9). Let y be (-92)/p + 2 + -4. Which is greater: j or y?
y
Let s = 17279 - 17278. Is s at most 134/221?
False
Let c = -442 - -447. Let m be ((-16)/2544)/((-2)/(-12)*1). Which is bigger: m or c?
c
Let r = 40 + -59.35. Let b = 20.413 + r. Let o = 0.063 - b. Is o < 2/35?
True
Let d = 34315 - 34315.2. Let o(z) = z**3 - z**2 - z + 6. Let a be o(0). Let i be a/9 + 4/(-42). Which is bigger: i or d?
i
Suppose -5*i + 392 = -12*i. Let a(y) = -2*y**2 - 11*y - 15. Let z be a(-8). Which is bigger: i or z?
z
Let n be ((-1)/3)/((-3)/63). Let o(v) = -v**2 + 7*v + 14. Let d be o(8). Suppose -n*b = -13*b + d. Which is smaller: b or 3/67?
3/67
Let l = 28/59 + -856/2301. Suppose 2*r = r + 1. Which is bigger: l or r?
r
Suppose -355*s - 22041 = 356*s. Which is bigger: s or -109?
s
Let z be -498*(27/81)/(2/(-3)). Suppose 2*a = 4*a + 5*r - z, 4*a - 543 = 5*r. Is 130 at most as big as a?
True
Let y be ((2256/55)/(-4))/((-2)/5). Let c = y - 5490/209. Which is greater: c or 0?
0
Let q be 559/(-689) - (2 + 9/(-3)). Let j = -1 - 0. Which is smaller: j or q?
j
Let i = 1037/4 - 5493/20. Which is bigger: i or -15?
-15
Let l(k) = k**2 - 15*k + 33. Let m be l(13). Let g = 6 - m. Which is greater: g or -17/18?
-17/18
Suppose 2*t - 29*t + 351 = -0*t. Which is bigger: 884/69 or t?
t
Suppose l + 395 = -4*a + 463, -2*a = 5*l - 34. Let b(i) = -9*i**2 + i - 2. Let y be b(2). Let h be (-1)/(2/y) + 0. Which is greater: h or a?
h
Let x = -7 - -9. Let r = 42 + -5. Do x and r have the same value?
False
Let p be ((-12)/3 + 1)/(-19 + 18). Let o = p + -72. Are o and -69 equal?
True
Let u = -5.62 - -0.62. Let l = -4.984 - u. Let v = l + -38.016. Which is bigger: -1 or v?
-1
Let f be ((-2295)/(-10))/(-3) - 1/(-2). Let c = f + 69. Do c and -2 have the same value?
False
Let m = 230.33 - 230.43. Which is bigger: m or -0.0875?
-0.0875
Let n be 4/(-3) + (-5)/(-15). Let d = -940/17 - -215294/3893. Which is smaller: n or d?
n
Let w = -1282 + 5868. Let z = w + -664974/145. Is z smaller than 0?
True
Suppose 3*m - 10 = 2*m - 4*n, -3*m = -n - 30. Suppose -10*z - m*z = -340. Is 17 >= z?
True
Let k = 573 - 572. Let p be (-3 - 1) + -39*(-119)/1155. Which is greater: k or p?
k
Let k = 1212626/189 - 6416. Which is bigger: 1 or k?
1
Let m = 2108/11 + -638647/3333. Let a = -377/7575 + m. Which is smaller: -1 or a?
-1
Let l = 3108 - 3849. Which is greater: l or -743?
l
Let f(i) = -27*i**2 + 19*i + 62. Let u(b) = -18*b + 123. Let l be u(7). Let d be f(l). Is -238 != d?
False
Let l = -1283 + 846. Which is greater: 1.4 or l?
1.4
Let u = -1204 - -1759. Let m = -546 + u. Are 23 and m equal?
False
Suppose -8*j + 4*j + h - 43 = 0, -j - 4*h + 2 = 0. Let o be (338/172 - 2)/(j/120). Which is smaller: 0 or o?
0
Let t = 557 + -555. Suppose -10*y - 3*s - 355 = -9*y, 677 = -t*y + 5*s. Is y > -345?
False
Suppose 8*i + 72064 = 24*i. Let o = 2044817/454 - i. Which is greater: o or 0?
o
Let q(w) = -5*w**2 + 27*w - 22. Let g(v) = -6*v**2 + 27*v - 23. Let k(y) = -3*g(y) + 4*q(y). Suppose -l = -10 - 3. Let b be k(l). Is -2 <= b?
False
Let v be (-386)/(-610) + (-186)/310. Let g = -0.29 - -0.3. Is g less than or equal to v?
True
Let l be 50/(-16) + 3 + (-10520)/6720. Do -2 and l have the same value?
False
Let u = 33.73 + 0.27. Let n = -9487 + 9520.94. Let w = u - n. Is w greater than or equal to 3?
False
Let o be 4/(-10) + (-33856)/260 + 4. Let g = o - -126. Let m = -57 + 55. Is g > m?
True
Let w = 0.2 - -0.8. Let q = 73 - 1073/15. Let u = q - 19/5. Which is bigger: w or u?
w
Suppose 5*k + 3*u = 22, 7*k + 2*u - 13 = 4*k. Suppose 0 = -k*f + t + 199, -2*t = -0*f + f - 42. Let l be (6/f)/(5 + 39/(-6)). Is l at most as big as 0?
True
Suppose -x - 3442 = 2*w, 5*x - 6160 = 4*w + 696. Let z = 651503/379 + w. Which is smaller: z or 0?
0
Suppose 0 = 5*a + 8*b - 5*b + 1156, 2*b = 3*a + 705. Let d = -1859/8 - a. Which is greater: d or 2?
2
Let a be (-2)/(-3) - ((-56)/(-3) - 5). Is -14 greater than a?
False
Suppose 37*w - 80192 = 33*w - 52*w. Is w < 1431?
False
Suppose -2*z + 2 = -z. Suppose -19*k = -74 + 17. Suppose k*q = 2*h - 7, -2*q + z*h - 3 = -h. Which is smaller: -1 or q?
q
Let k(j) = 3*j - 21. Let b be k(-1). Let a be -8 - -5 - 52/b. Is a equal to 4.4?
False
Suppose -5*g = -p - 32, 0 = -g - 3*p + 4*p + 8. Suppose 229*t - 893 - 563 = 147. Which is greater: g or t?
t
Let a be 13533/6940 + (-1)/(-20). Let q(k) = -12*k - 7*k - 4 - 14*k. Let y be q(a). Are -70 and y unequal?
False
Let y = -16117 + 16109. Let l = 39.3 - 41. Which is smaller: y or l?
y
Let s = -2 - 4. Let q(p) = -p**2 - 18*p + 18. Let h be q(12). Let o = 338 + h. Is o bigger than s?
True
Let y = 35901 + -2085713/58. Let c = y + 119/2. Let x = -48 - -49. Is x at most as big as c?