equal to t?
False
Let r = -18.279 - 6.721. Let s be 3*1/4*1. Which is smaller: r or s?
r
Let n be -10*(-10)/3*279/(-186). Are 1 and n nonequal?
True
Let o be ((-1846)/65 + 25)/(3/(-5)). Let r = -249 + 45. Let f be r/(-28) - 2/7. Which is smaller: f or o?
o
Let o = 18.6 - 1.6. Suppose -82*r = -85*r + 50*r. Is o equal to r?
False
Let i(k) = 171*k - 81. Let w be i(7). Let p be -2 + 48/30 - w/10. Is -112 at least as big as p?
True
Let l = 2/55 + 7/110. Let a(j) = 3*j**3 + 3*j**2 - 3. Let t(h) = 7*h**3 + 6*h**2 - 7. Let q(k) = 9*a(k) - 4*t(k). Let o be q(3). Which is bigger: l or o?
o
Let p(x) = -10*x**2 - 4*x - 1. Let r be p(-5). Let u = -48309 + 48080. Which is greater: r or u?
u
Let d = 1 - -2. Suppose d*w = 2*l + 11, 5*w = 3*w + 4*l + 10. Suppose -2*q + w*y - 11 = 0, 5 = -y + 2*y. Is 13/5 at least q?
True
Let w = 691 + -974. Let t = 285 + w. Is t greater than 398?
False
Let o = -714 + 120. Let z = 595 + o. Let g be (-98)/(-180) - (-3)/(-6). Is z equal to g?
False
Let b(w) = -w**2 - 73*w + 73. Let u be b(9). Which is bigger: -664 or u?
-664
Let f be (2814/(-3381))/((-75)/553). Let b = f - 139/23. Which is smaller: b or -1?
-1
Let z = -7 - -9. Let x be (-3 - (-52)/20)*(-90)/(-3). Let p be (x/(-3))/2 + 7/(-4). Which is smaller: z or p?
p
Suppose 3*l = 0, 11*m = 15*m - 5*l + 2124. Let t = m + 945/2. Which is bigger: t or -60?
t
Let p = 193 + -193.233. Let r be 2/(-25) + 5751/5325. Are r and p nonequal?
True
Let s = 215 + -121. Let a = s + -90. Is 23/6 != a?
True
Suppose 19*b = -f + 21*b + 11, -2*f - 4*b - 18 = 0. Which is greater: -10/23 or f?
f
Let w = -21280 + 26553. Which is greater: w or 5271?
w
Let r be 1*(-20 + 6 - -14). Which is smaller: r or 154?
r
Let f(l) = 2*l**2 - 17*l + 38. Let h be f(5). Let r be (0/h)/(3/(5 - 2)). Is 1/6 < r?
False
Suppose 5*a = 462 + 1088. Let q be 144/(-120) + 6204/20. Is a greater than q?
True
Let h be (2 - (0 + 0))*-9. Let m(u) = u**2 + 21*u + 30. Let v be m(-20). Let d be (-3)/((-15)/v)*-8. Is h less than or equal to d?
True
Suppose 4*w = 2*w + 3*f + 51, 2 = -w - 4*f. Suppose 0 = -j - 2*m, 2*m - w = 4*j - 2*j. Let p be j + -1 - 1*-3. Are p and -8 nonequal?
True
Let z(x) = -36*x + 13. Let v be z(-7). Suppose 4*o = 5*s - 360, -2*o - s - v = -85. Which is smaller: o or -0.1?
o
Suppose -2*k - 74 = -4*y, -162 = 4*k - 4*y - 18. Let a(q) = -19*q + 1. Let s be a(2). Is s != k?
True
Suppose 0 = -a - 107 + 111. Suppose -d = a*x - 11 + 82, 5*d - 95 = 5*x. Which is smaller: x or -26?
-26
Let s be ((-5928)/(-594) - 4) + 102/(-17). Let c = 67/28 + -15/7. Is s greater than c?
False
Let b = -244.5 - -244.3. Let y = 46.99 - -1.01. Which is greater: y or b?
y
Let m(f) = -2*f**2 - 14*f + 19. Let n be m(-8). Suppose 3*g + g - n*a = 4, -5*g - a + 5 = 0. Suppose -2 + g = -x. Which is greater: x or 6/5?
6/5
Suppose 0 = -5*l + 4*l. Let m be 36/(-9)*2*8. Let w = 3519/55 + m. Is w greater than or equal to l?
False
Suppose 7*f - 3*z - 8 = 2*f, -3*z + 28 = 4*f. Suppose -v - 4*v - 294 = -3*k, -v = f*k + 68. Let h be ((-9)/v)/(2/(-32)). Is -3 at most as big as h?
True
Let o be ((-146680)/(-57))/((-10)/(-36)). Is o <= 9263?
False
Let n(g) = 5*g - 56. Let a(i) = i - 11. Let h(m) = -11*a(m) + 2*n(m). Let z be h(4). Let q(d) = -d + 14. Let r be q(z). Is r <= 9?
True
Let a be (-2)/(-3) + ((-94)/24)/1. Suppose -2*l + 160 = 4*n - 0*n, 0 = 4*l + 2*n - 296. Suppose -8 = -l*m + 74*m. Is m less than a?
True
Let g(m) = -28*m**3 + 3*m**2 - m - 2. Let s be g(2). Let i be (1/3)/(1 - (-210)/s). Let x be (-3)/18 + (-97)/i. Which is smaller: x or -8?
x
Suppose -3022*h - 96 = -2*b - 3024*h, -2*h = -2*b + 40. Let w be (1/(-2))/(2/(-12)). Which is smaller: b or w?
w
Let j be ((-5)/(-156))/(11 - (-1 + (-135)/(-12))). Are j and -1 nonequal?
True
Suppose -7*r + 4*b = -3*r + 20, 2*r + 14 = -2*b. Let a(l) = l**2 + 7*l + 8. Let n be a(r). Suppose n*v = -4*v + 72. Is v at least -2?
True
Let g be (-1 - -7)*((-8)/(-331))/(-8). Let m = 1167/9599 + g. Suppose 4*d + 5*q = 3*q - 2, 8 = -3*d + 5*q. Does m = d?
False
Let k be 6/(-9) + 13/(-3). Let a = 4 + k. Let o = -0.0514 - -77.0514. Which is bigger: a or o?
o
Let n = 385 + -436. Let x = -87 + 87. Which is smaller: x or n?
n
Let l = -8.93 - -8.6. Let v = 0.43 + l. Let h = -36 + 35.64. Which is bigger: v or h?
v
Let n be 35342/10906 - (-5)/(15/(-9)). Do n and -1 have the same value?
False
Let s be (-24)/(-10) + 18/(-45). Let n be -15*(12/(-5) - s). Let d = -94 + n. Which is smaller: -27 or d?
d
Let q be (66/(-99))/((-5)/3). Is -0.465 > q?
False
Let z(i) = 5*i**3 + 2*i**2 - i + 1. Let n be z(1). Let t be 79/n + 6/(-15). Let f = t + -53/5. Are -18 and f nonequal?
True
Let t be (3 - (-13)/(-5))/((-348)/(-15)). Let v = 0.2072 - 0.0072. Is t bigger than v?
False
Let p(b) = 3*b**3 - 2*b**2 + 9*b - 16. Let l be p(3). Let z be ((-2)/(-4))/((-2)/(-288)). Which is greater: l or z?
l
Let d = 13.12 + -17.12. Is 0.179 at least d?
True
Suppose 7*s = 31*s + 9*s - 8316. Which is smaller: s or 1761/7?
1761/7
Let p = 3262 + -3674. Is p < 0?
True
Let u(j) = j**3 - 3*j**2 + 3*j - 10. Let v be u(4). Suppose 27*q - 1008 = -21*q. Which is smaller: v or q?
v
Let k = 1400 - 1387. Suppose -u = -6 - 9. Let w = u - k. Which is bigger: w or 8?
8
Let s be 0 - (-1)/(12/1041). Suppose -129*a + 125*a - 3*c + 320 = 0, 0 = -3*a - 5*c + 218. Which is smaller: s or a?
a
Let g = 422 - 406. Suppose -4*q + 4 = -g. Which is bigger: q or 1?
q
Let k(b) = -b**3 + 45*b**2 - 52*b + 39. Let r be k(44). Let o = 306 + r. Is 15 greater than o?
True
Let x be 2/(-18)*-3*(-129)/6. Let o be (-14)/(-8)*(1 + -5). Is o bigger than x?
True
Let w be -3*1/3*(-1 + -4). Suppose 3*u = d - w, -2*d = -u + 2*d - 20. Is 0 not equal to u?
False
Let y = -48 - -57. Suppose 13 = y*z - 32. Suppose -5 = -2*d + 5*d + c, 4*c = -z*d - 13. Which is smaller: 1/53 or d?
d
Let f be ((-4)/(40/(-6)))/((-2)/10). Let p be 84/(-24) - (f - 0). Is p greater than or equal to -2/3?
True
Let x be (-12)/(-18) + 2/(-6)*395. Let c = x + 101. Are c and 0.1 non-equal?
True
Suppose -29*a = -224 + 213 + 620. Is 27 < a?
False
Let o be 1369/(-180) + 5083/1564. Which is smaller: -5 or o?
-5
Let k be 1306 + (8 - (-8)/(-4)). Suppose -24*i - 8*i = k. Which is smaller: i or -39?
i
Let u = -595 + -329. Let r = u + 925. Which is smaller: r or -8/19?
-8/19
Let i(g) = 9*g - 6. Let l(h) = h + 5. Suppose 0 = 9*j - 12*j - 9. Let f be l(j). Let n be i(f). Which is smaller: n or 9?
9
Let v(c) = 106*c**2 + 6*c - 3. Let j be v(-1). Which is bigger: 17 or j?
j
Let k be 10/6*(13 + -16). Let x be k/(-10)*(-25 - 1). Let q = x + 12. Are 2/11 and q unequal?
True
Let i = -189 - -192. Let p be (265 - i)*1/(-2). Is p at least -131?
True
Let l be 44/(-5) + 8 + (-4)/(-5). Suppose l = 8*i - 199 + 79. Is 12 greater than i?
False
Suppose 4*t = 2*c + 56 - 766, t = 5*c - 1730. Let x be (2/(-5))/(6969/c). Which is bigger: 1 or x?
1
Suppose 15*u + 1226 - 15362 = 72*u. Is u at most -244?
True
Suppose -42*y + 39*y - 5*i - 1581 = 0, 2*i - 2108 = 4*y. Which is bigger: -6870/13 or y?
y
Suppose -29*m = 4*y - 32*m + 6, -3*m = 5*y - 6. Suppose -16*k + 1140 + 620 = y. Is 110 >= k?
True
Suppose -4*g + 1680 - 13309 = -n, 0 = 4*n + 3*g - 46649. Which is smaller: n or 11656?
11656
Let s = -53 + 54. Let c be (56/16 - s)*(-4)/(-10). Which is smaller: 3 or c?
c
Let s = -27837 - -28039. Which is smaller: s or -3/7?
-3/7
Suppose 287*i - 317*i = 630. Do -2/225 and i have the same value?
False
Let p = -689 - -688.8. Let z = 1.2 - 1.02. Let m = 0.38 - z. Do m and p have different values?
True
Let a = 134/7 + -10445/546. Is -1 at least as big as a?
False
Let s be (-1264)/312 - ((-30)/(-10) + (2 - 9)). Let r(w) = -w**2 - 6*w + 1. Let z be r(-6). Let y = z - 2. Is s less than y?
False
Let v be ((-1)/(-3) - 1)/(264/20988). Which is smaller: v or 1?
v
Let o be 4/(-16) - 4264/(-32). Let b = o + -161. Let a(k) = -3*k**2 + 3*k + 8. Let f be a(4). Is f greater than b?
False
Suppose -19*h + 49 + 65 = 0. Suppose -a - 5*l + 9*l = -h, 5*a = 4*l + 30. Let m be (a/5)/(((-27)/(-30))/(-9)). Is -13 smaller than m?
True
Let u = -1.1288 + 1.001. Let q = 0.0722 - u. Let w = 13327/1972 + -4/493. Which is greater: q or w?
w
Let z be (-2)/9 + (-52)/9. Let n(a) = 0 + 330 + 9*a - 338. Let w be n(z). Which is smaller: -63 or w?
-63
Let q = 0.8846 - 0.947. Let i = -76.0624 - q. Do i and -1 have the 