 is greater: -1 or d?
d
Let x(d) = -4*d + 2. Let v be x(2). Let z be 1 - (4083/2660 - (-54)/(-72)). Let o = 2/133 - z. Is v equal to o?
False
Let n be (2 - 4) + 0 - 0. Let j(z) = 2*z**2 + 2*z + 1. Let w be j(n). Suppose -4*y + 28 = 5*f, -3*y = -5*f + 21 + 28. Which is smaller: f or w?
w
Suppose 0 = 90*x - 1483 + 390 - 1427. Is 3 <= x?
True
Let c = -214.9 - -214.7. Let j = 2.83 - 3.3. Is j less than c?
True
Let o = -276 + 263. Let y(u) = u**3 + 12*u**2 - 7*u + 25. Let l be y(o). Are -51 and l non-equal?
True
Let u(h) = 5*h - 21. Let v be u(-7). Let i = 56 + v. Let t = -542 + 9224/17. Which is bigger: i or t?
t
Let i be (-8)/(-6) - ((-8)/6)/2. Suppose 3*d - 14 = -i. Is 35/8 at most as big as d?
False
Let r be (-5)/(30/(-254)) + 2/3. Suppose -r - 13 = 4*l. Let o be (-264)/27*15/10. Are l and o unequal?
True
Suppose 2*s - 3022 = -4*m, m - 70*s + 69*s = 760. Suppose 28 = -27*w + m. Is 25 at least w?
False
Let j = -9374 - -8840. Which is smaller: -6 or j?
j
Suppose 5*a - 1040 = 220. Let q be a/70 + (-2)/(-5). Suppose q*w = -0*w. Which is bigger: -13 or w?
w
Let g = -6791/8 + 861. Let n = 1123/88 - g. Do 1 and n have the same value?
False
Let j be -1*3*(0 + -1). Let y be (3/j)/((-6)/(-384)*2). Which is bigger: 29 or y?
y
Let o(f) = -5*f**2 - 14*f + 24. Let c be o(-4). Let h(v) = v**2 - 9*v + 9. Let p be h(c). Let z = 26 - 18. Which is smaller: p or z?
z
Suppose 4*f = u - 18, -53 - 1 = 4*u + 5*f. Is -213 > u?
False
Suppose 67 = -3*j + 13 + 15. Which is greater: j or 0?
0
Let x be ((-66)/14 + 137/2877)/((-2)/(-2283)). Does x = -5326?
False
Let m be 2/7 - 18/14. Let n be 88/3234*(1 - 13/10). Let b = n - -253/980. Is m greater than b?
False
Let a(f) = f**2 - 2*f - 7. Let r be a(3). Let n be -12*(-8)/(-12) + 3. Let b(l) = l**3 + 6*l**2 + 3*l - 11. Let p be b(n). Is r greater than or equal to p?
False
Let u = 8 - 7.9. Let v = 3174 - 3242. Is v at most as big as u?
True
Suppose 0 = r - s - 8, -4*s - 5 = s. Suppose -352 = -5*m + 2*w + 2, -m = 2*w - 78. Suppose -35*c = -43*c + m. Is r less than c?
True
Let h = -10504.873 - -10505. Which is smaller: 33 or h?
h
Suppose -3*a = -7*a + o - 1862, 0 = -5*o + 10. Is -470 at least as big as a?
False
Let l be (-14152)/1632*18/(-28). Let z = l - -6/119. Suppose -4*n - 9*u + 13*u = -32, 5*u - 2 = -n. Which is greater: n or z?
n
Let w = 2802 - 406288/145. Which is smaller: w or 0.04?
w
Let p = 62 + -38. Let t = 18.7 - p. Let m = 4.8 + t. Which is bigger: 2/5 or m?
2/5
Suppose 0 = 3*n - 391 - 524. Let k = -308 + n. Let h be (-2)/3 + (-14)/6. Is k >= h?
True
Let d = 504017/2905 - 347/2. Is d at least 1?
False
Let j(t) = 2*t - 65. Let y(r) = 3*r - 65. Let q(c) = -3*j(c) + 4*y(c). Let h be q(19). Let k be ((h/(-28))/7)/((-2)/(-8)). Is -12/13 at most as big as k?
False
Let s(v) = 2*v**2 + 32*v + 58. Let f be s(-9). Which is smaller: f or -886/13?
-886/13
Suppose -m - 4*m = -5, -m + 40 = 3*c. Let d(f) = -f**3 + 12*f**2 + 14*f - 12. Let z be d(c). Suppose 6*w = z - 7. Which is greater: w or -2/53?
-2/53
Let s = -936 + 881.3. Let a = s - -92. Does 1 = a?
False
Suppose 0 = -19*s - 104 + 940. Suppose 0 = 22*v - s*v + 12*v. Which is smaller: 14/29 or v?
v
Let l be ((-42)/28)/(3/88) + -3. Let a = -409 - l. Is a != -361?
True
Let o = 516 + -312. Let m = 202 - o. Let r = -0.7 - -0.2. Is m at least r?
False
Let q = -4360 - -3920. Which is smaller: q or -441?
-441
Let s be ((-8)/104)/((-1)/(-9811)). Suppose -18*r - 13801 = -175. Let l = s - r. Which is smaller: l or 0.1?
0.1
Let v = 51 + -47. Let h be 1 - (1 - -2 - v) - 47. Suppose 3*u + 94 = -35. Is u <= h?
False
Let f(l) = -2*l + 23. Let v be f(9). Suppose 4*r = -r + 5*x + 5, 0 = 5*x + v. Let q = 20/449 - 6208/18409. Is q < r?
True
Suppose -4*r + 0 = 8. Let n = -94 - 93. Let l = 1678/9 + n. Which is smaller: l or r?
r
Let w = -52.6 + -178.4. Let r = 230.2 + w. Suppose 3*l + 2 = 5*l. Is l less than r?
False
Let m = 142523 - 142523. Let o = 316.52 + -7.52. Which is smaller: o or m?
m
Let q(w) = -54*w - 3. Let y be q(-4). Let o = y - 210. Is 23 <= o?
False
Suppose -6*j + 4*u + 40 = -2*j, -3*u = -12. Let z(h) = h**3 - 17*h**2 + 42*h + 2. Let a be z(j). Is a greater than -5?
True
Let h = 13879 - 20298. Which is smaller: -6420 or h?
-6420
Let n = 0.91 + -2.11. Let m = 31.7 - 33. Let b = m - n. Which is smaller: b or -1/4?
-1/4
Let d(i) = -16*i - 4. Let c be d(-3). Suppose x = -c + 39. Let j be 6/5*2*x/10. Which is smaller: j or -2?
-2
Let k be 9 - 7495*(-14)/630. Is 177 less than k?
False
Let d = 859 + -722. Let t = 2.1 + -2.1. Is d at least t?
True
Let j = 0.1307 + -0.3307. Is -12/235 > j?
True
Suppose -4 = 13*n - 9*n, 3*d = n + 4. Is -235 bigger than d?
False
Let v = 548.9 - 509. Let x = 21 + -61. Let b = x + v. Which is greater: 13 or b?
13
Let b be ((-2663)/(-2) + -1)/((-224)/448). Is b at least as big as -2661?
True
Let l = 3624/23 - 4982954/31625. Do 2/5 and l have the same value?
False
Let x be -14 + 78/(-22 + 28). Are -23/79 and x nonequal?
True
Suppose -1780 = 73*b - 1707. Is 3/2401 bigger than b?
True
Let x = -2185/72 + 516211/16920. Is -1 not equal to x?
True
Suppose 95*m - 97*m = 0. Suppose m = -5*j + 25, 6*g = 3*g + 4*j + 298. Which is greater: g or 0.1?
g
Suppose -24*b + 3699 + 24669 = 0. Does 1182 = b?
True
Let p = 3.1 - -0.9. Let y = -118.288 + 122.688. Which is bigger: y or p?
y
Let b = -31 + 36. Suppose -2*w = 5*i - 126, b*i + 106 = -0*w + 2*w. Let p = 42 - w. Which is smaller: p or -14?
p
Let b = 75 + -75.03. Let u = -58 - -59. Which is greater: u or b?
u
Let o(s) = 54*s**3 + 8*s**2 - 23*s - 58. Let c be o(-2). Which is bigger: c or -405?
-405
Let o = -974 + 973. Let d(s) = -s**3 - 16*s**2 - 15*s + 1. Let h be d(-10). Which is greater: h or o?
o
Suppose 0 = -73*s + 55*s + 306. Which is bigger: s or -106?
s
Suppose 0 = -f + 5*z - 14, 155*f + 5*z - 19 = 151*f. Let x be 7674/(-1917) - (-3 - 1). Is x < f?
True
Suppose 6*k - 29 = 241. Let n be (k/(-5) - -5) + (2 - -1). Let t be 2/40*-1*2. Which is bigger: n or t?
t
Let n = -18.275 - -0.275. Let i = 20 + n. Let u be (8/(-38))/(3/3). Which is greater: i or u?
i
Let g = 5851 - 6924. Is g at least as big as -1073?
True
Let v(g) = -73*g**2 + 32*g + 13. Let z be v(-4). Is z < -3848/3?
True
Suppose -q + 2 - 10 = -4*i, -23 = -i - 5*q. Let a = 26 - i. Let x = a - 38. Is -13 greater than x?
True
Let c be (180/94)/(-2) + 1. Let b be 28/12 + -1*4/12. Let j(o) = 4*o**2 - o - 14. Let l be j(b). Is c equal to l?
False
Let u(d) = -d**2 + 8*d + 7. Let t be u(6). Let a(i) = -i**2 + 15*i - 12. Let h be a(7). Suppose 0 = 9*p - h*p + 665. Does p = t?
True
Suppose 3*y - 5*z = 46, 4*y + 4*z + 0*z - 104 = 0. Let j be (1 + (-332)/176)/(3/(-72)). Is j at most y?
True
Let n = -1151 - -3503/3. Let t be 5/420*-24 - -38*3/7. Is t less than n?
True
Let q(s) = -32*s**2 - 4*s + 12. Let r be q(-6). Which is smaller: -1117 or r?
-1117
Let q = 71 + -56. Let x = 29 + q. Suppose -l + x - 43 = 0. Which is bigger: l or -1/15?
l
Let d(y) = 87*y**2 - 25*y + 525. Let x be d(16). Which is smaller: x or 22398?
x
Let k = -6 + -2. Let o = k + 5. Let j = -1707 - -1706. Are j and o non-equal?
True
Let g = 0.464 - 0.054. Let c(w) = w**3 + 11*w**2 - 13*w - 13. Let t be c(-12). Let r be (4/(-25))/(t/((-5)/2)). Is g at most as big as r?
False
Let b be 1/15 + 63*60/4050. Is 3/5614 <= b?
True
Let o = -102 - 1245. Let y be -12*(o/444 - -3). Which is greater: y or 1?
1
Let l = -43 - -66. Let k = 0.08 - -0.12. Is l > k?
True
Let k be 2/(-6) + -8*4/(-24). Let i be k*4 + (-32 - -36). Which is smaller: 47/6 or i?
47/6
Let h be (11385/(-84))/15 - -9. Is -181/6 less than or equal to h?
True
Let p be ((-2)/3)/((-8)/(-12)). Let i be (-612)/(-2191) - ((-220)/77)/(-10). Does p = i?
False
Let v(d) = -58*d**2 + 105*d - 209. Let j be v(2). Is 2 equal to j?
False
Let w be 43 - 41 - (-1)/((-38)/72). Suppose -g - 159 = -3*m - 46, 0 = -5*g + 5*m - 615. Let j = g - -642/5. Is w != j?
True
Let s = -12099 - -846807/70. Let x = s - -107/30. Is x equal to 1?
False
Let o(z) = -2*z**3 - 30*z**2 - 9*z - 179. Let s be o(-15). Which is smaller: -87/2 or s?
s
Let d(c) = -c + 5. Let b be d(11). Suppose -3 + 13 = 5*q, 2*a + 2*q + 46 = 0. Let h be 4/b*a/20. Is h equal to 0?
False
Let z(k) = -6*k - 20. Let t be z(-5). Suppose -p = 4*v + 2, -4*v = -0*v - 5*p - t. Is -8/59 at most v?
True
Let u be (4/6)/((-2)/(-