. Is n greater than t?
False
Let s = 99 - 73. Let y be 2/(-8) + (-67768)/32. Let a be (-4)/26 + y/(-78). Which is greater: s or a?
a
Suppose 4*l + j + 0*j = -487, 15 = -5*j. Let z = -20133 + 20011. Which is bigger: z or l?
l
Let h be (-7 - -3 - -5) + -1. Suppose 0 = 2*o + 2*g, h*g = 5*o - 2*g - 21. Which is bigger: o or -15?
o
Let i(n) = 184*n + 4. Let b be i(2). Let w be b/(-6)*-1*(-2)/(-4). Let f(u) = -u**2 - 16*u - 16. Let k be f(-12). Is k equal to w?
False
Let m(p) = -3*p**2 - 2*p + 183. Let o be m(0). Suppose i + 3*n + o = 0, 0 = 3*i - 2*i + n + 183. Which is bigger: 1/4 or i?
1/4
Let j = -3029 - -1486. Is j at least -1543?
True
Suppose -30*h + 22*h = -1496. Suppose -5*s + 113 = 2*a - h, -60 = -s - 5*a. Let v be (-879)/s + -3 + 68/20. Is -14 > v?
True
Let j be (2/(-261))/(23/(138/4)). Let m(n) = n**3 + n**2 + 5. Let r be m(0). Suppose -r*s + 4 = -1. Which is smaller: j or s?
j
Let q = -4 + 6. Suppose 0*a - q*a + 2*y - 138 = 0, -345 = 5*a - y. Suppose -92*s = 12*s + 131*s + 16215. Is s equal to a?
True
Let h be (-36)/(-96) + 7/(-40) + (-2379)/11920. Is 0 at most as big as h?
True
Let q(k) = -2*k**2 + 12*k + 4. Let c be q(7). Let x be 6/(-32)*(-11)/((-132)/728). Which is greater: x or c?
c
Let n be (-3492)/15 + 25/(-125). Which is greater: -1623/7 or n?
-1623/7
Let y(w) = 1050*w - 1043. Let s be y(1). Suppose g = -11 + 4. Which is smaller: g or s?
g
Let j = 424839/847550 - 168/335. Which is bigger: j or -1?
j
Suppose 0 = d + 1, 2*d + 2*d + 8 = 2*r. Suppose s - r*v = 8, 0 = -8*s + 7*s + 4*v + 4. Is s greater than 12?
False
Let s = -51080/3 + 17187. Is 159 smaller than s?
True
Let f = -104 + 137. Suppose 12*d = f*d + 1218. Is d < -59?
False
Suppose 5*x + 24*z - 20*z = 1887, 3*x = 5*z + 1147. Let g = x - 1888/5. Which is greater: g or 1?
g
Suppose -w + 0*w = 5*u - 50383901, 0 = 5*w - 5*u - 251919445. Let o = w + -535731912598/10633. Let g = o + -2/343. Which is smaller: g or 1?
g
Let v be ((-2 - -4) + -379)*(6 - 5). Is v >= -377?
True
Let l = -714 + 674. Let o be (3*(-2)/(-28))/(4/l). Is -2 at most o?
False
Let s be (-2)/(-116)*(-12)/(-9). Suppose -j + 2*u + 13 = 0, 5*u - 3 = j - 31. Suppose -10*t + 7 = -j*t. Which is smaller: t or s?
s
Suppose -2*u + 7*u = 495. Let a be (91377/(-26))/(-71)*2. Is u equal to a?
True
Let u = 4.0449 - 0.0449. Let f = 12.3 - -9.7. Which is greater: u or f?
f
Suppose 4*m + 211 + 167 = 3*z, -3*z + 5*m + 384 = 0. Suppose -6*b = -b + 2*a - 592, -4*b + 470 = -2*a. Are b and z nonequal?
False
Let s(k) = 41*k**2 - 158*k - 11. Let l be s(-18). Is 16115 >= l?
False
Suppose -243*x + 274*x = -9114. Which is smaller: -298 or x?
-298
Let q be ((-2)/6*1)/(5/(-45)). Let v be 355/119 - (q + 0/(-1)). Is -1 > v?
False
Let f = 59 + -59.198. Let r = f + 0.678. Is -0.2 at least r?
False
Let w = -0.002 + 24.002. Let u = 35 + -61. Let z = u + w. Which is smaller: z or 3/5?
z
Suppose 2*i = -k - 470, -4*k = -5*i - 1407 + 232. Let y = i + 226. Which is bigger: -2.2 or y?
-2.2
Let y = 3706 - 3706. Which is bigger: -7/304 or y?
y
Let a = 10398/19 - 1454941/2660. Let g = a + -3/70. Let r = -77.892 + -0.108. Do g and r have the same value?
False
Let l(x) be the first derivative of -x**3/3 - 46*x**2 - 429*x + 329. Let h be l(-5). Let g(d) = 7*d**2 + 1. Let a be g(1). Is h at least a?
False
Let m be 8/(11 - 9)*(-6)/(-4). Suppose -2*x = 3*h + 10, -m*x = -5*h - 7*x - 19. Is h not equal to 16?
True
Let i = -2930596000647/21164 - -553883169/4. Let h = 54/481 - i. Is h >= 8?
False
Let x be 14/3*(-252)/(-98). Suppose -4*y = -4*c - x, 2*y = -5*c + 12 - 6. Is c greater than -8/37?
True
Suppose 2*p = 0, 3*p - 6*p = 5*j - 9075. Let b = j + -18171/10. Which is smaller: -1 or b?
b
Let r = -120573 + 30987313/257. Is -1 greater than r?
False
Let c = -15.39 + -1.21. Let q = c - -12.6. Is 1 not equal to q?
True
Let m = 14 - 8. Suppose -40*r = -43*r + 1482. Let z = r - 486. Which is greater: z or m?
z
Suppose -3*s - 69 = -6*s. Let t = s - 22. Let a be (-168)/33 + 5/t. Which is smaller: a or -0.3?
-0.3
Let q = -563.17 - -2555.01. Let k = q + -2030. Let w = 38 + k. Is w at least as big as -1?
True
Let c be 9*(-3)/(-9)*2/3. Suppose 100 = 4*s + c*i, -14 = s + i - 40. Suppose -2*l = -3*u - 44, 3*l - u + 2*u - 77 = 0. Are l and s non-equal?
True
Let t = -17139 + 17308. Which is smaller: 505/3 or t?
505/3
Suppose 40*m = 23*m + 85. Suppose -m*u + 32 - 37 = 0. Which is bigger: u or -24/47?
-24/47
Suppose -72*c + 87*c - 30 = 0. Which is smaller: 11/134 or c?
11/134
Let c be (-8)/(-4)*18/(-4). Let i = 0.0792 - 472.0792. Let x = -471.9 - i. Does x = c?
False
Let a = 99 + -93. Let j(f) = -2*f**2 + 12*f. Let y be j(a). Let h be 1/4 - 145/420. Is y smaller than h?
False
Let a(c) = -3*c**3 + 4*c**2 - 3*c + 2. Let g be a(3). Suppose -15*f = 22*f. Suppose f = 11*j + 353 + 230. Which is smaller: g or j?
j
Let n(h) = h**2 - 20*h - 1362. Let d be n(-28). Are d and -253/13 nonequal?
True
Let a(x) = -131*x + 3669. Let s be a(28). Is 27/539 smaller than s?
True
Let f = -6 + 2.5. Let o = 12.2 - -18.3. Let u = o - f. Is u bigger than -1/4?
True
Let t be -1 + (-16975)/(-455) + -36. Let u = 0 - 1. Which is bigger: t or u?
t
Let n(f) = 2*f**3 + 3*f**2 + 2. Let t be n(-2). Let q(v) = -9*v**2 - 9*v - 3. Let c be q(t). Which is smaller: -19 or c?
c
Let g = -5210 + 5211. Which is smaller: -873/4 or g?
-873/4
Let r = -27491729/1113 + 172911/7. Which is greater: 0 or r?
r
Let a be 2136/180 + (-1 - (-34)/30). Suppose 0 = -2*g + 3*h - 4 - a, -5*h = -2*g - 24. Let f be -4*(-5)/10*(5 - g). Is 13 > f?
False
Suppose 0 = 4*f - 7 - 1. Suppose 6*k = -5*r + k + 185, 3*k + 161 = 5*r. Suppose r*j = 28*j - 6. Which is bigger: f or j?
f
Suppose 72*a = 136*a - 74688. Is 1168 not equal to a?
True
Let v = 0.91 + -371.91. Let i = -16.104 + 16.204. Is v at least i?
False
Let u(x) = -x**3 + 19*x**2 - 37*x + 95. Let q be u(18). Which is smaller: q or -232?
q
Suppose 48*x - 62542 = -57406. Suppose 2*c + 0*c - 216 = 0. Are x and c non-equal?
True
Let o = -185 - -269. Let n be -5 - ((-174)/o - (-2 - -5)). Which is smaller: n or 0?
0
Let u(w) = 11*w**3 - w**2 - 8. Let j be u(-6). Let y = 418659/173 + j. Which is bigger: y or -1?
y
Let b = 239 + -239.112. Let f = b - 0.888. Which is greater: -159 or f?
f
Suppose -4*c = 4*j + 8, -3 = -7*c + 4*c. Let m(n) = -n**2 - 13*n + 60. Let b be m(4). Let x be ((-14)/4 - j)/(1/b). Is x bigger than 3?
True
Let w be (12/(-522))/((-3)/(-9)) - (-8778)/(-551). Let m = -6.9 - -3.6. Let z = 3 + m. Which is smaller: z or w?
w
Let o(z) = -137 + 201*z + 199*z - 417*z. Let d be o(-8). Let u = 58/7 + -2160/259. Which is smaller: d or u?
d
Let x(g) = -g + 47. Let d(s) = -2*s + 55. Let u(t) = -6*d(t) + 7*x(t). Let y be u(0). Is y at least as big as -2/259?
False
Suppose 110*j - 427*j + 2004391 = 0. Which is smaller: 6320 or j?
6320
Let r be (-14)/(-4)*(-104)/(-91). Suppose -c = -q - 2*q + 248, r*c = -20. Is 81 at least q?
True
Let s = -52.2 + 39. Let y = -7.2 - s. Which is smaller: -19 or y?
-19
Let n = -1119 + 1273. Which is smaller: 155 or n?
n
Let w = 0 - -4. Suppose -5*u = -5*d - 799 + 74, 4*u = -2*d + 568. Let z = 140 - u. Which is smaller: w or z?
z
Let j(y) = -18*y**3 - 26*y**2 + 8*y - 26. Let o be j(-6). Do -0.1 and o have different values?
True
Let z = 1819 + -1916. Which is greater: z or -775/8?
-775/8
Let d = 19426 - 13190260/679. Let l = d + -70598/2037. Is -35 != l?
True
Let j be 1/(10/(-4) + -1 + 4). Let a be (-296)/j*((-36)/16 + 1). Let q be (-5*(-4)/a)/(-2). Is q > 0?
False
Let v be 20*13/(260/(-168)). Let n = v - -2519/15. Let i be (0*(-2)/8)/(-2). Is n at most as big as i?
True
Suppose -10 = -4*y - 2, 20 = -4*o - 2*y. Let r be (-3)/o - 1/(-2). Which is bigger: 8/69 or r?
r
Let f(i) = -i**3 + 12*i**2 - 19*i - 20. Let y be f(10). Let t be 3 + y/(-2 - -4). Let m = -35 - t. Which is bigger: m or -31?
-31
Let m = -7.446 - 4.554. Is m smaller than -2/7?
True
Suppose 5*m + 3 = -2*u - 1, m = 4*u + 8. Let z = -2291917 - -1184920250/517. Let b = z + 25/47. Is m <= b?
False
Let f = 9746 + -38983/4. Is 8665 > f?
True
Suppose 8*m = 127220 - 28668. Which is smaller: m or -0.1?
-0.1
Let t = 114 - 112. Suppose -4*b - t*l - 141 = l, -4*b + 5*l = 149. Are -36 and b equal?
True
Let l = -8163 + 8165. Which is greater: l or 48/71?
l
Let h = 1/21705 + 18138143/43410. Let m = h + -419. Is m less t