11 equal to d?
True
Suppose -2*s = 3*s. Suppose g = -2*l + 2, 4*g + 5*l + 0 - 5 = s. Let u(j) = -4*j**2 - 19*j + 5. Let z be u(-5). Do z and g have the same value?
True
Let b = -741.351 + 741. Let k = -1.351 - b. Is k at most as big as -65/7?
False
Let y(f) = 77*f**3 - 2*f**2 + 5*f - 4. Let r be y(1). Suppose 2*w + 3*o + r = 0, -2*w + 3*o = -39 + 103. Is w > -35?
False
Let z = 35 - 41. Let o be ((-3482)/(-38))/(483/z). Let r = 2/437 - o. Which is smaller: r or 0?
0
Let l(n) = 45*n + 127. Let q be l(10). Is 577 equal to q?
True
Let a be (-19)/(76/(-1320)) + -6. Let q = a - 425. Is -103 <= q?
True
Suppose 2*m - 14 = 6. Let t = 0.327535 - 0.147535. Is t greater than m?
False
Let k be 4/((-456)/(-63)) - (2 + 0). Let r = k + -1/19. Let i = -40 - -37. Is i != r?
True
Let y(h) = 2*h - 11. Suppose -9*o + 8*o = -7. Let z be y(o). Let r be (((-45)/6)/z)/3. Which is smaller: 0 or r?
r
Let t = -106 + 260. Let p = -152 + t. Which is smaller: p or 6/5?
6/5
Let k be (-71)/(-3) + -1 + 1. Let a(x) = x**3 + 5*x**2 - 13*x - 19. Let t(m) = 18*m + 12. Let l be t(-1). Let p be a(l). Is p smaller than k?
True
Let p = 8248 - 8268. Is p <= -1140/61?
True
Suppose 2*j + 7*p = 8*p + 420, 0 = -3*j - p + 620. Suppose 4*b = 3*b - j. Is -209 equal to b?
False
Suppose -11*h + 173 = -135. Suppose -19 = -3*b - 10. Suppose -23 = -b*u + h. Which is smaller: 20 or u?
u
Let l = 19885 + -22466. Which is smaller: l or -0.1?
l
Let u = 2129 + -2130. Which is bigger: u or -39/61?
-39/61
Let f = 7784 - 46627/6. Let t = 21501 - 902521/42. Let c = f - t. Does 0 = c?
False
Suppose 15*l - 13*l = 20*l - 57798. Which is bigger: 3210 or l?
l
Let a(g) = 129*g - 7252. Let v be a(56). Let p(f) = -6*f + 6. Let i be p(4). Which is bigger: v or i?
i
Let y = 183.99 + -183.91. Is y >= -804?
True
Let t be -2*43/(-18) + (-118)/(-531). Let o(m) = -m**2 + 6*m - 5. Let z be o(t). Suppose -5*v = -z*v - 20. Is v at least -1/8?
True
Let n = -8279.42 + 8285. Which is smaller: n or -9?
-9
Suppose 0 = 3*b - b + 28. Let y = 25/19 - 892/57. Which is greater: y or b?
b
Suppose 4*s - 2*r - 3*r = 67, -3*r = -3. Let g = -184 + 202. Is g != s?
False
Let x = 12 + -11. Let r(c) = -c**3 + 9*c**2 - 9*c + 11. Let g be r(8). Suppose 15*p - g = 14*p. Which is greater: x or p?
p
Let g = 4.74 + -4.74. Let w = -74 - -235. Which is smaller: w or g?
g
Let t = 236.2 - 253.2. Which is greater: -2 or t?
-2
Suppose 15*h = 42*h - 32*h + 8340. Does h = 1668?
True
Suppose -3*d + 6 = -5*n, -3*n + 4*n + d + 6 = 0. Let a be -228668*n/606 + (-1 - 1). Let r = 1130 - a. Which is greater: 0 or r?
0
Let v = 138 + -173. Let y be ((-86)/110 - 21/v)/2. Which is smaller: y or -1?
-1
Let m = 10 - -50. Suppose 70 = 61*c - m*c. Let d = c + -57. Which is smaller: d or 12?
12
Let s be (9/6*-1)/(30/(-20)). Suppose -s - 1 = 2*x. Which is greater: -14/19 or x?
-14/19
Let a = -11/855 + 22046/52155. Is -1 smaller than a?
True
Let a = -43.2 + 66. Let s = 22.6 - a. Let i = 20 - 3. Is s > i?
False
Let m be 6/15*-1*(16 + -1). Let k(s) = -s**3 + 8*s - 3*s**2 - 2*s - 1 - 3*s. Let d be k(-4). Which is smaller: d or m?
m
Let q = 1397 + -1245. Are 0.21 and q equal?
False
Let a be 0/(-2) - 3/(-60). Let u = 7344 + -7344. Is u at least as big as a?
False
Let c = 53.09139 + -0.09139. Which is smaller: -5 or c?
-5
Let i be (-2)/5 + (-152)/(-405). Suppose 9*m + 42 = 12*m + 3*w, 0 = -4*m + 2*w + 56. Let x(f) = -f**3 + 11*f**2 + 41*f + 14. Let l be x(m). Is l not equal to i?
True
Let g(d) = d**3 + 71*d**2 - 68*d + 151. Let y be g(-72). Is y less than or equal to -100?
True
Let h = 58.1 + -56. Let s = h + -51.1. Let j = 50 + s. Which is bigger: j or -2?
j
Let k(d) = 7*d + 2. Let y be k(-1). Let q be (-2)/2 - (6 + y). Let a be (37 + -13)*-3*(-3)/(-126). Do a and q have the same value?
False
Let p = 2485 - 3541. Which is smaller: -1058 or p?
-1058
Let a(c) = -c + 37. Let q be a(28). Let x be q/(126/40) - -5. Which is greater: 9 or x?
9
Suppose 3*u + 6*l = 2*l + 11, 0 = 4*l + 4. Suppose -f - 8 = -5*k + 27, -2*k = u*f + 13. Let m = 10 - 1. Is m at least k?
True
Let j = -506 - -509. Suppose t + y = -27, 3*t + 73 = -t + j*y. Is t less than or equal to 2?
True
Let c(q) = -58*q + 1874. Let u be c(15). Are u and 0.2 nonequal?
True
Suppose -4*a + 10 + 2 = 0. Let y = a - -20. Suppose 5*t + v = 2 + 22, -3*v = -4*t + y. Which is smaller: 6 or t?
t
Let c = 6176299/8 + -767595. Let m = c - 4433. Which is smaller: m or 10?
m
Suppose 5*r + 18 = -3*l, -l + 6*l - r = -2. Suppose -63*w - 37 - 89 = 0. Let d = w - l. Is -3/16 at least d?
True
Suppose 848*n - 850*n - 4*x - 24 = 0, -2*n - 5*x = 28. Which is smaller: -342/85 or n?
-342/85
Let v = -857/342 + 15/38. Suppose 191*k = 66*k - 375. Is v <= k?
False
Let n(a) = 3*a**2 - 67*a + 199. Let x be n(19). Let z be 1*-1*-1*0. Suppose -x*q + 378 = -z*q. Is 42 smaller than q?
False
Let u = 2058 + -1999. Which is smaller: u or -8?
-8
Suppose 3*n - 147 = -3*c, -386 = -3*n - 5*c - 205. Let o(g) = 24*g**2 - 2*g - 2. Let s be o(2). Suppose -4*r + s = -r. Which is greater: n or r?
n
Suppose 0 = 7*y - 205 + 205. Suppose y = -12*q + 460 - 1204. Which is greater: -65 or q?
q
Let n be 16/160 + (-6329)/(-10). Let t = 633 - n. Does t = 22/45?
False
Let z = -315 - -279. Let o = 35.7 + z. Is -2/11 > o?
True
Let g = 126 + -267. Let d = g + 140.812. Is -0.1 < d?
False
Let v(o) = 25*o**2 - 5*o + 4. Let b be v(2). Suppose b = 3*i + 19. Let g be i/15 - 4/6. Which is bigger: g or 5/3?
5/3
Let b(n) = -354*n**2 - 12*n + 11. Let x be b(1). Which is smaller: x or -351?
x
Suppose z - 2*z - 4*y + 474 = 0, -1964 = -4*z + y. Let a = z + -1069. Let o = -24899/43 - a. Is 1 not equal to o?
True
Let b = -7 + 13. Let q = -0.179 + -298.821. Let i = -308 - q. Is b greater than i?
True
Let o = 3432 + -27113/8. Which is smaller: o or 44?
o
Suppose -58*j + 30 = -42*j - 46*j. Which is greater: -236/169 or j?
j
Let h be (-228)/38 - (-2786)/5. Which is bigger: 551 or h?
h
Let o = 4265 + -4264.8609. Which is smaller: o or -2?
-2
Let g = 40 + 108. Let l = g - 143. Which is smaller: 0.14 or l?
0.14
Let z = 3.577 + 0.523. Let n = 4.2 - z. Let o = 0 - 0.5. Does n = o?
False
Let y = -482 + 484. Suppose 2*m + y*m + 0*m = 0. Which is smaller: m or -0.065?
-0.065
Let a = -172 - -63. Let w = 108.8 + a. Is 152 <= w?
False
Let b be 0 - (-17328)/44 - 8/(-44). Suppose 0 = 5*m - 3*m - 4*n + 386, 2*m = -4*n - b. Is 0.1 equal to m?
False
Let z = 1373 + -3549. Let f be 7 + -5 - (z/36)/(-4). Is -13 at least f?
True
Suppose -30 - 118 = -37*p. Let n = 80 + -80. Are p and n non-equal?
True
Let b = 9521/11330 - -12/515. Let q = b + -65/88. Which is smaller: q or -17?
-17
Let k be 4/(1/9*(0 - -2)). Let s be (-3)/(k/(-24) + (1 - 1)). Suppose -s*j = -w, -4*j = -w + 5*w. Is 0 greater than or equal to w?
True
Let i = -32 - -15. Suppose -103 = 5*y + 4*g, 0*g = -2*y - 5*g - 48. Are i and y non-equal?
True
Let l be ((-3)/57)/((-2)/64). Let z be ((-138)/(-27) - 5)/(34/306). Which is greater: z or l?
l
Let s = -5.06 + 5. Let d = 0.1166 - 3.1166. Which is greater: s or d?
s
Let i = 1912 - 1911.8. Which is bigger: 680 or i?
680
Suppose -23083*p - 426 = -23081*p. Is -209 greater than or equal to p?
True
Suppose -39 - 429 = 4*v + 4*z, 0 = v + 5*z + 105. Let b = v + 122. Suppose -5*y + 44 = -2*r, 0 = 4*r + 4*y - b + 34. Is r at most -14?
False
Let j = -315/4 - -866/11. Is j < 2?
True
Let f be (-8)/(-44) - ((-422)/(-22) + 1). Let i be (-1 - -2) + -2*30/f. Which is smaller: 3 or i?
3
Let t = -9.6 + 6.7. Let o = 2.73693 - -0.09307. Let a = t + o. Is a greater than 0.01?
False
Let p = 6299 - 81843/13. Let f = 3472 - 3469. Which is smaller: f or p?
f
Suppose -2*s - 28 = -2*z, 5*s + 4 = z + 2. Suppose 3*v - f - 52 = 0, 5*v - 3*f = 67 + z. Let i be 50/v - (2 + 1). Which is smaller: i or -0.07?
i
Let k be (-27)/6*2*1. Let t be 6 - k/12*-4. Let q be 3*(52/(-12) + t). Is q at most as big as -9?
False
Let f be -8 + 5 + (40/2)/4. Let l be 6/112*f + 23/(-184). Which is smaller: l or -1?
-1
Suppose 0 = -115*m + 32*m - 14863 - 18254. Which is smaller: m or 0?
m
Let w = -4847.976 - -4868. Let p = w + -0.024. Which is bigger: p or 2?
p
Let q = 123 + -97. Let o be (-5780)/(-52) + (-4)/q. Let p = 110 - o. Which is greater: p or -3/23?
-3/23
Let w = -18 - -11. Suppose 4*u + 12 = 8. Let k = -5 - u. Which is bigger: w or k?
k
Let d be (-12)/186 + (-