2. Which is greater: 19 or t?
19
Let f = 31.3 + -13.3. Let c = -0.266 + 0.466. Which is bigger: c or f?
f
Let q = 247/4 + -61. Let m = 172 + -171. Which is smaller: q or m?
q
Let o = 53839.96 + -53840. Let v be 129/127 + (-3 - -2). Is o < v?
True
Let j = -792.986 + 792. Let k = -0.014 + j. Which is greater: k or 114?
114
Suppose -4*x - 400 = 2*w + 620, 0 = -5*w - 20. Let q = x + 15430/61. Is q at most 0?
True
Let f = 53 + -49. Suppose -g - 4*g - 2*s = -12, f*g + 5*s = -4. Suppose 4 = -g*l - 0. Which is smaller: -20 or l?
-20
Let o = 1768 + -1685. Is 901/11 > o?
False
Let n = -9240 - -8747. Which is smaller: -495 or n?
-495
Suppose 3*f + 3*r - 483 = 0, -r - 319 = 14*f - 16*f. Which is smaller: 169 or f?
f
Suppose 1446 = -13*q - 1856. Let b = q + 253. Which is greater: b or -3?
b
Let n(y) = -y**3 + 5*y**2 - 2*y + 17. Let w be n(5). Let q = w + -10. Let g be q - (-1 + 0 - (-2 + 3)). Which is greater: -3/46 or g?
-3/46
Let q be 12/14*(39 - 3395/(-21)). Which is smaller: q or 198?
q
Let t be -381*(-5)/105 - 3/21. Let x be -28 + t - (0 - 0). Let g be 11 + x + 2/(68/(-46)). Are g and 1 equal?
False
Let n be -420 + 32/14*238/68. Which is smaller: -418 or n?
-418
Let m = -1.1 + -3.9. Let r = -3.8 - -0.8. Let b = r - m. Which is bigger: b or 2/7?
b
Let s = 1025/6 + -514/3. Is s less than or equal to 945?
True
Let b(d) = -4*d. Let r be b(5). Let k = -1646 + 1627. Is r at most as big as k?
True
Let a be 9 - 3/2*(-64)/(-144). Let t = a - 101/3. Is -26 greater than t?
False
Let g be 0/(-2 - 2) + 108. Let p = -95 + g. Let v(w) = -w**2 + 5*w + 11. Let k be v(7). Is p bigger than k?
True
Let y be (-16056)/126 - (-6)/14. Suppose j + 5*z + 146 = z, -z = -2*j - 247. Which is greater: y or j?
j
Let k = -16 + 41. Let t be (-1 - 76/(-101))*(-20)/k. Let v = -887/909 + t. Is v less than 0?
True
Let z = -28 + 31. Suppose n = -5*f + 5, z*n - 11 - 4 = 4*f. Suppose n*k - 14 - 21 = 0. Is 5 <= k?
True
Suppose 13*l - 28 - 89 = 0. Suppose 4 = -l*f + 10*f. Suppose t = -4*j - 16, -2*t - 15 = f*j + 17. Is -16 <= t?
True
Let y be (-2)/(-14) - (568/28)/2. Let o = y - -16. Suppose -l + o = 1, 3*j - 4*l = 46. Which is smaller: j or 23?
j
Let g be (8 + (-119)/(-35))/((-1)/(-10)). Suppose 2*f = -5*q - 76, -4*q - g = 3*f + q. Let a = 57 + -96. Is f greater than a?
True
Let j be -3*-2*(-1)/6. Let u = 103895/108 + -962. Is j smaller than u?
True
Let g(x) = 3*x**2 + 14*x + 13. Let w be g(-1). Suppose 4*o - 4 = 0, -4*t + 1 = w*o - 5*o. Which is bigger: -4/107 or t?
t
Suppose 10 = 2*c + 2*j, -5*j + 14 = -6. Which is smaller: c or 2/2147?
2/2147
Let o = -524 - -483. Let y(j) = 3*j**3 + 4*j**2 - 2*j - 3. Let v be y(-3). Let q = o - v. Which is smaller: q or -6/19?
-6/19
Let g be 5/(-2)*2/(-35)*(-56)/238240. Is g < 0?
True
Let t be (4/32)/((-8)/432)*-4. Let y be -4*5/((-4140)/t). Which is smaller: -5/2 or y?
-5/2
Let u be (-46)/14 - (132/(-21) + 6). Let y(o) = o**3 + 7*o**2 + o + 7. Let m be y(-5). Let b be m/(-11) + 1*2. Which is smaller: b or u?
u
Let p be -6 + 9 + 2 - -5. Let t(g) = -g**3 + 8*g**2 + 19*g + 15. Let y be t(p). Is y not equal to 6?
True
Suppose 5*k - 5*q = 0, -15*k + 10*k - 5*q = 20. Let j be ((-27)/k)/((-51)/(-102)). Is j greater than 29?
False
Let w be (-30687)/(-11) + -15 + 3696/242. Which is smaller: 2787 or w?
2787
Let g = 13543 + -14736. Is -0.2 > g?
True
Let p = -23 + 27. Suppose -p*c - 54 = -2*s, 0 = 12*c - 7*c - 2*s + 70. Is -21 greater than or equal to c?
False
Let v(l) = -2*l + 4. Let q be v(-10). Suppose -2*t = -0*i - 2*i + 20, 0 = -4*t + i - 55. Let r = 11 - t. Which is smaller: q or r?
q
Let x be (-4)/(-13) + 263682/(-856791). Which is greater: x or -1?
x
Let l be (1/(-3))/(((-70)/77940)/(-7)). Is l < -2596?
True
Suppose 113*x - 15*x = -6566. Is -861/13 bigger than x?
True
Let g = -8942 + 9545. Is 6648/11 less than g?
False
Let a be 3/(-9) + (-7)/(-3). Suppose a*d - d + 11 = 0. Let b = 1479 - 1478.8. Which is bigger: d or b?
b
Let q(x) = -2*x**3 + 28*x**2 + 19. Let s be q(14). Let j = 21 + -37. Let m = j + s. Do m and 2 have different values?
True
Let x be (5 + (-165)/21)/(-5 - 312/42). Is x > -1?
True
Suppose 2*l - 3*z - 95 = -2*z, 0 = l - 5*z - 25. Suppose 2*n - l = -2*j, 4*j + 2*n - 70 = 4*n. Is 23 greater than or equal to j?
True
Let g = -2505 - -2385. Which is greater: -107 or g?
-107
Let g = 0.064 + -0.06. Let t = -28.1 - -28. Is t at least g?
False
Let u(d) = 15*d**3 - 50*d**2 + 8*d + 20. Let o be u(3). Is -14/71 greater than or equal to o?
True
Let a = -50 - -74. Let w be ((3/2)/(-1))/((-3)/(-36)). Let l be w/24*2 + 0 + 2. Is l less than or equal to a?
True
Let f(s) = -8*s**2 + 5*s - 4. Let r be f(4). Let c = r - -113. Let g be c/(-20)*15/(-6). Which is smaller: 7 or g?
g
Let r be ((-3)/133)/(3693/(-258510)). Let h(u) = -u**2 + 5*u - 4. Let p be h(3). Which is greater: p or r?
p
Let q = -29984 + 149147/5. Are q and -154 equal?
False
Let o = 54874 - 1810664/33. Is 6 greater than or equal to o?
True
Suppose -26*q - 2*q + 1657 + 3551 = 0. Is q at most as big as 187?
True
Suppose 0 = c + 2*c + 5*k - 2, -5*c = 4*k + 1. Let o = -779932/77 - -10129. Is c < o?
True
Let k(j) = -j**2 - j. Let g be k(-1). Suppose -4*t + g*t = 3*b - 102, -2*t - 24 = -b. Let u = 7494 - 7466. Which is bigger: b or u?
b
Let w = 36673028/2069 - 17725. Which is bigger: w or 1?
1
Let y = 3810 - 3303. Which is smaller: 508 or y?
y
Suppose 0 = -38*w + 63*w - 250. Suppose -144 = -w*t + 76. Does t = 21?
False
Let k = -911 - -229. Let p = 648 + k. Which is smaller: p or -1?
p
Let p = -21 + 38. Let b = -23 + p. Let s be (-3)/(-22)*5 + 3/b. Which is smaller: -1 or s?
-1
Let k = -11 - -15. Suppose 4*y + 5*o + 361 = 19, k*y + 338 = -3*o. Let t be 728/273 + 260/(-3). Do t and y have different values?
True
Let x be (-50)/2255325*(-20 - (2 + -1)). Let l = x + 253738860/511207. Let f = l + -496. Which is bigger: f or 1?
1
Suppose 4*a - 884 = g, -g + 3*a - 2*a - 878 = 0. Is g smaller than -0.3?
True
Let b be (-1409)/(1/6*306/51). Let c = b + 1402. Let p = -56 - -277/5. Is c less than or equal to p?
True
Let l = -152 + 149.9. Let q = -2.04 - l. Is -11 at most as big as q?
True
Let o = -4519.8 + 4989. Let y = o - 470. Let k be ((18/4)/(-3))/6. Which is smaller: y or k?
y
Let k = 1 - -1. Let t be (135*12/(-18))/(-1). Suppose -40 = t*m - 98*m. Which is greater: k or m?
m
Let c be 228/(-285)*5/(-12). Let o = 13367/81 + -165. Which is bigger: o or c?
c
Let j(c) = 1567*c + 8883. Let h be j(-6). Is h at least -2599/5?
True
Let t = 125.37 + -2.37. Let y = 151 - t. Which is greater: y or 0.06?
y
Let t be ((-159)/(-306))/(-60*31/(-744)). Are 1 and t unequal?
True
Let g = -347 + 148. Let p = -198.96 - g. Let m = 0.1 - 0.2. Is p <= m?
False
Let t(k) = 2*k**2 - 12*k + 9. Let z be t(7). Suppose 0 = -0*o + 6*o - 156. Let b = o + -2. Which is bigger: b or z?
b
Let a(t) = 7*t + 34. Let h be a(-5). Let m = 920560/5149 + 629/271. Let c = -181 + m. Which is bigger: h or c?
c
Let a = 989 + -1324. Which is smaller: a or -2337/7?
a
Let c = 13.863 - 13.7. Let q = -0.813 + c. Let l be 0/((-4)/(-8)*-6). Are q and l equal?
False
Let t = -861 - -493. Let s = t + 337. Which is smaller: -10 or s?
s
Let w(o) = 1009*o**2 + 15*o + 25. Let j be w(-2). Suppose -19*z + 3569 = -j. Are 401 and z non-equal?
True
Let t = -833 + 836. Is t > -2/3?
True
Suppose -2*n + 140 = 20. Let d = n - 47. Is d at least as big as 15?
False
Let h = 1720.405 + -1725. Let f = 4.2 + h. Which is smaller: 0.1 or f?
f
Let b(x) = -2*x**2 + 4*x + 4. Let a be b(2). Suppose a*f - 27 = -4*i - 3, 3*f = 2*i + 38. Let c(y) = -y**2 + 6*y - 4. Let t be c(4). Which is greater: t or f?
f
Let x = 74 + -71. Suppose 6 - 3 = -x*a. Let n be (-10 - 0)*3/6*a. Is 5 >= n?
True
Let l = 8/1951 - 1197938/5853. Is l equal to -206?
False
Suppose 0 = 4*q - l + 75, 5*q - 8*l + 4*l = -80. Is 277 less than or equal to q?
False
Let g = -18888 - -18893. Is g > -3584?
True
Let j = -875 + 877. Suppose -234 = -5*u - 24. Which is smaller: u or j?
j
Let g(a) = 3*a + 22. Let b be g(-6). Let y be 1*b/(2/1). Suppose -q + y*o + 6 = 4*o, -2 = q + 4*o. Which is smaller: q or 15?
q
Let d = -6080623/22216450 - -404/1475. Which is bigger: d or 0?
d
Let k = -1.2 + 1.1. Let j = 357 - 619. Let z = j - -262.79. Is z bigger than k?
True
Suppose -30*s = -34*s + 1948. Suppose 4*p + s + 157 = 0. Which is greater: 