5 or y?
y
Let m = 397 + -351. Suppose 8 + m = -6*v. Which is smaller: -12 or v?
-12
Suppose -344730 = -23*r - 115075. Is r less than or equal to 9985?
True
Let h = 7 + -4. Let f be 12/(6/2) + -39. Let r be (-8)/(80/f) - (-20)/(-24). Which is smaller: h or r?
r
Let v = 7971 + -7971. Is 1/37 greater than or equal to v?
True
Let r = -69689/7 - -9955. Which is smaller: -123 or r?
-123
Suppose 45 = 5*j - 75. Let h be 3 - 930/j - 1. Which is bigger: h or -36?
-36
Let m = 0 + -1. Let d = -645/157 - -120929/29359. Is d at most as big as m?
False
Let j = -1 + 1. Let s = 172338 + -517015/3. Which is bigger: j or s?
j
Let k = 329 + -303. Let m be -5 + k/(-8)*-19. Which is bigger: m or 57?
57
Let c = -120 + 125. Suppose 3 = -0*a + 2*a - c*v, -a + 4*v = -6. Which is smaller: -32/7 or a?
a
Suppose -12*l + 309 + 159 = 0. Let k be 1*(-4 + 3) + 38/l. Let p be (2 - 1)/(-3 - -2). Is p <= k?
True
Let z = 31 + 101. Let f = z - 70. Let k = f - 61. Is 16 at most as big as k?
False
Suppose -11*h + 300 = 4*h. Let u = h - 92. Is -73 bigger than u?
False
Suppose -120 = -2*u + 70. Suppose 1023 = 56293*t - 56282*t. Does t = u?
False
Let r = -6 - -3. Let t = 14563 - 14566.9455. Let s = t + -0.0545. Is r at least s?
True
Let t = 1.442 + 0.318. Which is greater: t or 4/3?
t
Let c = 51.89497 + 0.10503. Let o = -55.6368 + -0.0632. Let j = o + c. Do j and -0.1 have the same value?
False
Let t = -6431 + 1038. Does -5393 = t?
True
Suppose -3*c = 4*u - 0 - 39, -4*c = 2*u - 32. Let v(i) = -7*i + 51. Let t be v(u). Does t = 7?
False
Let u = -16155 + 129339/8. Which is smaller: u or 4?
4
Let a(r) = -5*r**3 + r**2 - 2*r - 2. Let g(u) = u**3 + 4*u**2 - 6*u - 6. Let y be g(-5). Let w be a(y). Let t be (-61)/10 - (w/(-5))/2. Is t smaller than -6?
False
Let i be 119/40 + (2/10)/((-81)/(-162)). Let a(p) = p - 5. Let z be a(7). Which is greater: i or z?
i
Let l = -38642 + 148655772/3847. Is l equal to -1/2?
False
Let i(s) be the second derivative of s**5/20 + s**4/6 - s**3/6 - 9*s**2/2 - 2*s. Let p be ((-7)/(-49 - 0))/(8/(-28))*10. Let h be i(p). Is h equal to -78?
False
Let y = 1081 + -1083. Which is smaller: y or -23/18?
y
Suppose -6*n - 88 = -14*n. Let a be n/1551*6/8. Which is smaller: -1 or a?
-1
Let k = 292 + 972. Are k and 1 nonequal?
True
Let h(s) = 83*s - 249. Let p be h(3). Which is greater: p or -2/3973?
p
Suppose -5*z = -7*z - 4392. Suppose 8*p + 18 = 10. Let k be p/(-4) + 477/z. Which is smaller: k or 0?
0
Let c be 1/(1/15 - 0). Suppose 4*y = 9*y - c. Let v be 1 - (0 + y) - -1. Which is smaller: 2/5 or v?
v
Let z = -6 + 27. Suppose -6*p + 20*p = 13048. Suppose 43*b = -29 + p. Is z at least as big as b?
True
Let s = 13 + -8. Suppose -s*m - 13 - 12 = 0. Let v be m/(30/18) + 2*-1. Which is smaller: 0 or v?
v
Suppose 5*u = d - 10, 5*u - 5*d + 30 = -0*u. Let t = -846511/57 + 14851. Which is smaller: t or u?
u
Let f = 601 + -683.6. Let v = f + 77. Let z = v + 10.6. Which is smaller: 2 or z?
2
Let l(f) = 6*f + 72. Let j be l(-11). Let o be (j + -4)*4/296. Which is smaller: o or -1?
-1
Let v be (92/(-8))/(1/20). Let z = -2474/11 - v. Which is greater: 4 or z?
z
Let h = 55.569 + -55.369. Let l = -54.8 - -49. Which is smaller: h or l?
l
Let j be 2 + (-1)/((-7)/(-140)). Let x = j + 27. Do 26/3 and x have different values?
True
Let u = 3114.1 + -3114. Which is greater: -578 or u?
u
Let p be (-88)/33*6/(-4). Suppose 76*d - 77*d + 6 = 3*b, 15 = 2*d + 3*b. Is p smaller than d?
True
Let h = 8847.1 + -9412. Let j = h + 567. Let p = 0.8 - 1. Is p at least j?
False
Let y = 84 - 84.976. Let j = 0.024 - y. Let z = -0.9 + j. Is z <= -78?
False
Let h(t) = 10*t + 7. Let b(r) = r. Let w(a) = 4*a + 24. Let v be w(-5). Let u(q) = v*b(q) - h(q). Let m be u(-1). Is m bigger than -1/5?
False
Let c = 40908.18561 + -40935.23. Let g = 0.05439 + c. Let z = g + -0.01. Which is smaller: z or 0?
z
Let i be (-2 - -2)*(-1)/(2 + -1)*-1. Are i and -19 unequal?
True
Let k = 11 + -11. Let m = k + 18. Let w be (-5 + 4)/((-1)/(-2)). Which is bigger: m or w?
m
Suppose 0 = -u + t + 1, 14 - 5 = 5*u - 3*t. Let o(n) = 4*n**3 - 5*n**2 + 4*n - 6. Let f be o(u). Let p = 174 - 105. Is f less than p?
False
Let s = 54 + -54. Suppose -6*t + 284 + 1384 = s. Is t greater than 278?
False
Let o(n) = 2014*n + 145. Let d be o(2). Which is smaller: d or -2/3?
-2/3
Suppose -16*c + 6*c = -2240. Let h be c/(-60) + (-2)/(-6). Suppose 0*u + 8 = -2*u. Which is bigger: u or h?
h
Let m be ((-47)/(-4))/((-45)/(-20) + -2). Suppose 4*t - 5 = m. Suppose -t*s + 3 = -75. Is s not equal to 54/11?
True
Suppose 0 = -4*c - 3*p + 17, 2*c - 9 = -c - 3*p. Suppose 0*v + c = -8*v. Are -16.6 and v nonequal?
True
Let f be ((-1)/(1/(-3)))/(3/134). Let l = f - 138. Which is bigger: -12 or l?
l
Let d be 1 + -1 + (-1)/1. Let l = 12760 - 12684. Are d and l equal?
False
Let j = 7351 + -19640. Is -12290 at most as big as j?
True
Let a = -665 - -1155. Let l = -489.915 + a. Is -0.3 greater than l?
False
Suppose -3*q + 408 = -2*f, 4*q - 4*f = -f + 542. Which is smaller: q or 130?
130
Suppose 4*x - 6 = -3*h, 4*x - 6 = 4*h + 14. Suppose 22 = 3*j - 5*v, 0 = -j - x*j - 4*v - 24. Which is smaller: j or -12/11?
-12/11
Let p = -1/32214 + 622813/289926. Is p not equal to 1?
True
Let d(n) = n**3 - 8*n**2 - 5*n + 31. Let b be d(8). Let c be 20/(-7) - ((-9)/7)/b. Let f = 31/20 - 679/180. Which is smaller: f or c?
c
Let h = 885 - 995. Let r be 232/22 + -10 + 104/h. Which is smaller: -1/111 or r?
r
Let q = -1228 - -1516. Let p be 17*(8 - 6)*(-17)/(-2). Is p less than or equal to q?
False
Let b = -28766 - -28768.94. Is -0.05 greater than or equal to b?
False
Let j(c) = 2*c**2 - 22*c - 11. Let p(y) = -y - 11. Let b be p(-22). Let f be j(b). Let k = f + 1. Which is bigger: k or -11?
k
Let h be (-116)/4 + 2 + -1. Suppose -5*n = 10, 7*m + 14 = 8*m - 5*n. Suppose 74 = -2*z + m*q, 4*z - 9*q = -14*q - 96. Is z at most as big as h?
True
Let c = 8311 + -8311. Which is bigger: c or 82/301?
82/301
Suppose 4536*t + 69 = 4539*t. Suppose -l - 4*y + y + 22 = 0, -3*l - 2*y = -31. Is l < t?
True
Let d = -99/59 + 71872/42657. Is d greater than 1?
False
Suppose -2*s + 2*k = -18, 5*s + 4*k = k + 5. Suppose -5*j = -j - x - s, 2*x + 2 = 5*j. Which is smaller: j or 41?
j
Let s(x) = -x**2 + 173*x - 172. Let p be s(1). Which is smaller: p or 12/65?
p
Let n(q) = 10*q + 12. Let i be n(-1). Let w be 4*(-2)/4 - (1 - i). Let b be (w/12)/(1/(-3)). Which is bigger: 1/14 or b?
b
Let w = 14611 - 15238. Is w at least -617?
False
Let a be ((-3)/(-18))/((-3)/(3 - 31557)). Which is smaller: a or 2?
2
Let u = -12768 + 12801. Is 2/5 at least u?
False
Let x = 139 - 135. Let a be -16 + -7 - (-4)/8*x. Is a < -21?
False
Let s = 656 + -394.2. Let p = 262 - s. Is 81 less than or equal to p?
False
Let q(u) = 2*u**2 + 3*u**2 + 2*u + 0 + 4*u**2 - 1. Let n be q(2). Let b = 38 - n. Are b and 1 nonequal?
True
Suppose -21*j + 18*j - 3 = 0. Suppose -5*z + 4*z - 11 = 0. Let r = z - -21. Which is smaller: j or r?
j
Let i(c) = -104*c - 3674. Let z be i(-7). Is z at most -2947?
False
Let n be (-18684)/(-32) - 8/(-64). Is 585 bigger than n?
True
Let a = -1471 - -1344. Is a at least -135?
True
Suppose -48 = -28*x + 36. Let g(v) = -37*v + 8. Let t be g(x). Is -104 bigger than t?
False
Suppose 0 = d + 3*l + 9, d - 2*l = -4 - 0. Which is smaller: d or 2?
d
Let r = 2075/9 + -11169779/48447. Is r < 0?
True
Let q(x) = -16*x - 18. Let m be q(-8). Suppose 107*o - m*o = -6. Which is smaller: 6 or o?
o
Suppose 4*q - 12 = q. Suppose 4*i = 4*j + 32, -q*j + 4*i - 67 = 7*i. Which is bigger: j or -23?
j
Let i(f) = f**3 - 5*f - 7. Let l be i(3). Suppose -8 = -l*g + 27. Suppose 4*v + 3*k = 4*k - 13, -3*k + 25 = -5*v. Is v != g?
True
Suppose -5*p + 4 = -4*d + 7*d, -3*d - p = -8. Let w be (d - (-624)/(-20)) + 8/(-10). Which is smaller: w or -22?
w
Let i = -215 - -214. Are i and 24/73 equal?
False
Let x = -1/179 + -156/4117. Let k = 219 - 105. Let c = k - 113.9. Is c <= x?
False
Let d be 12/10 + 20/25. Suppose -13 = -3*y + 4*u + 3, -d*y - 4*u = 16. Is y >= -1/6?
True
Let w be 15/(-1)*(-1140)/2205 - (3 - -1). Which is smaller: w or 0?
0
Let c be (-2750)/(-50)*(-6)/10*1. Let r = -96 + 62. Which is bigger: r or c?
c
Let n = -28.07926 + -0.02074. Which is smaller: n or -2?
n
Let d = 28 - 14. Let c be 17/7 + 8/d. Let n be (-1)/(((-12)/88)/c). Is 23 > n?
True
Let f = 