((-143)/22 - -7)*(-3891 - -1). Which is smaller: i or -1946?
-1946
Suppose -14*p = -14*p + 49*p - 13965. Is 299 greater than p?
True
Let m be (70/49329)/((-4)/(-150)). Let q = 4/81 - m. Let j = q - -2360/2871. Is -0.1 at least j?
False
Let g = 1405 + -1117. Are 0.1 and g non-equal?
True
Suppose 0 = 36962*i - 36966*i. Which is smaller: i or -4/4215?
-4/4215
Suppose x - 7 + 1 = 0. Let u be 10/x*2/45. Let l be (-4)/36 - (5 - (-322)/(-63)). Is u less than l?
False
Let t be (-8)/92 - (35410/(-2530) + 13). Which is greater: -9 or t?
t
Let f = -1.38 - -1.53. Let p = 25.85 + f. Which is smaller: p or 2/3?
2/3
Let k be -1 - (-16)/(-8) - (9 - 12). Is -8/301 > k?
False
Let n be 1055564/3215030 - 23/161. Let z = 3/3533 - n. Which is bigger: 0 or z?
0
Suppose -5*x = -5*h + 60, -x - 36 = -5*h - 2*x. Let b be 1110/(-9) - h/12. Is b > -123?
False
Let q be 1 + (-4)/(18780/4905). Is 0 < q?
False
Let u be ((-5)/(-2)*36/15)/4357. Which is smaller: u or 0?
0
Let l be 4/(-18) - (-8)/36. Suppose -4*c + 12 = -i - l*i, 3*c + 8 = 5*i. Let y be ((-2)/3)/2*3/c. Is 0 smaller than y?
False
Let w(k) = 9*k + 13. Suppose 117 = 3*m + 300. Let y = m - -58. Let d be w(y). Is d less than 0?
True
Let b(g) = 22*g**2 - 180*g - 21. Let q be b(12). Is q greater than 985?
True
Let a = -297 - -305. Let x be (-2 + 12/a)*-2. Is 48 <= x?
False
Let o = 20274 - 20273. Which is smaller: 5/1623 or o?
5/1623
Let r(l) = 55*l + 93. Let v be r(18). Which is greater: 1082 or v?
v
Suppose 0 = 59*r - 56*r - 615. Suppose -338 = n - r. Which is bigger: -132 or n?
-132
Let y = 4696 - 1334. Let c be y/(-40) + 17 + -15. Let p = -313/4 - c. Is p less than or equal to 5?
True
Let a(c) = c**3 - 15*c**2 + 37*c + 14. Let t be a(12). Suppose 0 = t*r - 5*r - 1449. Which is greater: 67 or r?
r
Suppose -3*q + 1 = -3*x + 13, 2*q = 0. Let a be x/7 + (-297)/(-7). Let g(t) = t**3 - 21*t**2 - 72*t + 45. Let v be g(24). Which is smaller: v or a?
a
Let k = 351101/11 + -31930. Let h(g) = -12*g**3 - g**2 + 2*g - 1. Let m be h(1). Is m bigger than k?
False
Suppose 0 = 4*c - 4*t + 16, -8 = 28*c - 29*c - 5*t. Are c and 4386 nonequal?
True
Let j be 204 - 7*27/(-63). Do 206 and j have the same value?
False
Let u = 0.039 - 27.039. Let x = 26.9 + u. Which is smaller: x or -1?
-1
Let p be (5*(-16)/40)/(-1). Let h be (-1414)/(-679) - 4/p. Are h and 1 equal?
False
Let s = 16416 + -16415. Which is greater: -3/2384 or s?
s
Let u(a) = -a**3 + 16*a**2 + 20*a - 46. Let l be u(17). Suppose -5*z + 75 = -5*n, -z + 11 = 2*n - l*n. Are z and 19 equal?
False
Let v be 64612/(-29)*3/4. Is -5015/3 > v?
False
Let m = 79 + -73. Suppose 3 = m*n - 15. Suppose 0 = 5*r + z + 95, r + z - 38 = n*r. Is r greater than -20?
True
Suppose u - 3*c = -379, -1380 - 569 = 5*u + 3*c. Let s be 0*(6 + (-4 - (1 - 0))). Let z be (s + -1)*(2 + u/196). Which is bigger: z or 0?
0
Let t be 48/(-10)*(-2 + 27). Let u be (-2)/(-3) - t/(-27). Suppose -811*d - 2*d + 148*d - 3325 = 0. Are d and u equal?
False
Suppose 18 = s - 4*s. Let u = -3424 - -921054/269. Let n = -2955/538 + u. Which is greater: s or n?
n
Suppose 0*v - 74 = -v - q, 3*v + 2*q = 220. Let t = v - 106. Let a be (-833)/t + (-2)/(-4). Is 25 greater than or equal to a?
True
Let t = -13 - -17. Let f be t/26 - (-136)/(-1222). Let u = 381 - 381. Is u greater than f?
False
Suppose -4*z - 4*l = -0*z, 4*z + l = 0. Suppose 0 = -4*t + 2*u + 18, 3*u + 11 = -z*t - 2*t. Suppose -t*g + 4 = -0. Which is smaller: g or 5?
g
Let f = -73 - -183. Let b = 191 + -88. Let o = f - b. Which is greater: -6 or o?
o
Let m(g) = -g**3 + 24*g**2 - 22*g - 18. Let u be m(23). Suppose 0 = x + u*p - 5, -2*x - p + 0 = -1. Is x greater than 5/16?
False
Let z(p) = -4*p - 9. Let n be z(3). Let b be (140/56)/((-1)/6). Let h be 10/b*33*1. Does h = n?
False
Let y be (-262)/11 + 26/(-143). Let c = 23 + y. Let j = 19/4 - 55/12. Which is greater: c or j?
j
Suppose 1 = r - 5*p, 9 + 4 = 2*r + p. Suppose 3*a = r*a + 5*z + 34, 0 = 3*a + 2*z + 28. Is a <= -5?
True
Let t = 458 + -453. Let w be 4/(-6) + ((-35676)/(-6291) - t). Is w >= -1?
True
Let h be 0*(-6)/(-18)*1. Which is bigger: 27/884 or h?
27/884
Suppose -15*t = -30*t + 7620. Suppose 0 = -3*x - 2*v - t, -2*v + 1 = -1. Is x greater than or equal to -171?
True
Let d be 24/84 - (-1998)/14. Let z = -140 + d. Which is smaller: z or -8?
-8
Suppose 2*u = 4*u + 5*u. Suppose 7*k - 78 - 83 = u. Which is smaller: 22 or k?
22
Let q be 0*(-1)/(-5) - -4. Suppose -4*y + 2*l = y - 1, -5*y - 3 = -q*l. Is y bigger than 5/6?
True
Let p = 74 - -212. Suppose -8*f + 21*f + p = 0. Let l = 32 + f. Which is bigger: l or 8?
l
Suppose 0 = 10*r - 2*r - 8. Let a = 14 + -12. Let p be (140/64 - a)/12. Which is greater: r or p?
r
Suppose -194 = -x - 1. Let u be 4/(-86) + 8550/8170. Is x greater than or equal to u?
True
Suppose 4*r + 52 = 4*q, 4*q = q - 4*r + 67. Suppose q*o - 12*o = -315. Which is smaller: o or -64?
-64
Let d be (-473)/(-82) - ((-44)/(-132) + 15/9). Which is greater: d or 5?
5
Suppose -t = 2*m - 738, 41*t + 372 = m + 43*t. Is m < 1100/3?
False
Suppose -1 = -7*m + 20. Suppose 5*f = m*q - 5*q + 745, 4*q + 149 = f. Which is greater: f or 148?
f
Let k = 2640 - 2643. Which is smaller: k or -6?
-6
Let n be 6/21 - (-8)/(-28). Let b be 2 - (-532 + 2 - -2). Let l = b - 25972/49. Which is greater: l or n?
n
Let q = -785 + 397. Let s = q - -388.11. Which is smaller: s or 1/14?
1/14
Suppose -4*d - 5*z - 416 = -151, d - 3*z + 45 = 0. Let r be (-6)/(-27) + 3030/(-27). Let h be d/r + ((-9)/4 - -2). Is -38 greater than or equal to h?
False
Let s(r) = 2*r**2 - 26*r + 15. Let w(t) = t**2 - 2*t. Let d(l) = s(l) - 3*w(l). Let x be d(-17). Is x greater than or equal to 68?
False
Let x = 900 - 900. Which is bigger: -5/201 or x?
x
Let b(t) = 85*t**3 + 2*t**2 - t - 1. Let v be b(-3). Let o be 3 + 7539/v + (-4)/(-26). Suppose -4*r - 16 = -12. Which is bigger: o or r?
o
Let q be 42/(-99) + 2/6. Let g = 115149/575495 - 10/115099. Do g and q have the same value?
False
Let q be 1778/126 + (-8)/72. Suppose 5*n - 7*v = -4*v + 18, -4*n = -5*v - 4. Which is bigger: n or q?
q
Let h = 0.33 + -12.34. Let o = h - -12. Let b be ((-159)/15 + 10)/3. Which is greater: o or b?
o
Let d = 0.5143 + -132.5143. Which is smaller: 3/14 or d?
d
Suppose 68*j + 44*j = -4368. Suppose 0 = 2*h - 2*f - 130, 3*f + 20 - 81 = -h. Suppose -5*s = -4*l - 135, 4*s = 3*l + h + 36. Is j >= l?
True
Let t = -63 + 19. Let l = -1271 - -1228. Which is greater: l or t?
l
Let o = 151 - 329. Let m be (4895/o)/(3/4 - 1). Which is bigger: 111 or m?
111
Let t = 8 + -9. Let w = -1.256 + 1.186. Is t less than w?
True
Let d be -14 + (-1 - -9 - (-16 - -28)). Is d != -68?
True
Let q be (0/8)/(12/(-6)) - -2649. Which is smaller: 2648 or q?
2648
Let k be (-1 + -8 + 9)/1. Let z be 0/(-3) - 3/159. Which is smaller: z or k?
z
Let b = -4.2 - -0.2. Let s = 97.8 + -101.99. Let t = 4.11 + s. Which is smaller: t or b?
b
Let x = -381453/1216 + 5970/19. Let n = -587/704 + x. Are n and 1 nonequal?
True
Let p be 0 - (1 - (-8)/(-6)). Suppose -2*x = -7*f + 321, -2*x + 24 = 16. Which is smaller: p or f?
p
Let v = 220979 - 220939. Let o = 98 - 22. Suppose 5*h + 2*w = -3*w + 200, 2*h - o = -4*w. Which is smaller: v or h?
v
Suppose 4*p - w = 53, 3*w = 3*p - 25 - 26. Let f be (-1)/p*-6*-2. Which is bigger: f or -2/543?
-2/543
Let j be 15/(6*1/(-184)). Is -461 != j?
True
Suppose 2*h + 9 = 1, 0 = 4*w + 2*h + 20. Let i be -1*w/(-9) - 7/(-21). Let r be (-5)/3*4/8. Is r != i?
True
Suppose -98 = 3*q - 107. Let o be (-2)/(-3)*q - (-1112)/(-558). Which is smaller: -1 or o?
-1
Suppose -7*h - 22*h - 29 = 0. Let t be ((2/4)/h)/((-24)/276). Which is bigger: t or 5?
t
Let p(d) = -d**2 - 5*d - 6. Let m be p(-5). Suppose -47 + 19 = -14*u. Suppose -u*a - 2*z - 22 = 0, z = a + 7 - 6. Do a and m have the same value?
True
Let u = -429 + 419. Let g = -12 - u. Is -18 less than or equal to g?
True
Let w be 0/((1 - -1) + -1). Suppose w = 17*x - 22*x + 35. Let h = 1883/11 + -171. Which is smaller: h or x?
h
Let k = 23.308 - -5710.692. Are 0.1 and k non-equal?
True
Let x be -6*(272/(-72))/17 - (-280)/132. Let d be 30/9 + (-1)/3. Which is smaller: d or x?
d
Let c be 50*(-1 - 0)*-1 + -3. Suppose -4*b - 5*o + 0*o = -131, -3*b + 98 = 4*o. Let x = b - c. Do x and -13 have the same value?
True
Let l = 292/7 + -748/21. Which is smaller: 7 or l?
l