Which is greater: r or d?
d
Let r = -115 + 90. Let k = 36 + -60. Is k at least as big as r?
True
Let f = 4.03 + 0.17. Let y = -4.01 + f. Let v = -268 + 267. Is y > v?
True
Let b = -1108 + 1080. Do b and -22 have different values?
True
Let w = -355 + 609. Which is smaller: w or 0?
0
Suppose 0 = -3*z + 2*z + 2. Let f be 2*(-6)/(-36) + 8/(-6). Is z greater than f?
True
Let v(i) = -2*i**3 + 12*i**2 + 15*i + 2. Let f be v(7). Is 5 at most as big as f?
True
Suppose 240 = -16*l - 1424. Is -311/3 at most as big as l?
False
Let w be (2 + -1)/(1/2). Let o(q) be the third derivative of q**6/120 + q**5/15 + q**4/8 + 3*q**2. Let a be o(-3). Do w and a have the same value?
False
Let h = -51179/3081 + 216/13. Which is smaller: h or 0?
0
Suppose 2*u + 2 = 4*c, 3*c - 4*u + 2 = u. Let w be ((-8)/(-10))/(6/(-45)*-3). Let y be w + -2 - 9/(-30). Is c > y?
True
Suppose -25 - 1 = -2*j + 5*h, 5*j - 5*h - 50 = 0. Suppose 0 = -g - 9 + j. Let f be (-2 + 0)/((-204)/18). Is f >= g?
True
Let z = 2/55 + -63/220. Let x be 7 + -35*30/125. Which is smaller: z or x?
x
Let q = 0.7 - 0.4. Let r = -194.3 - -194. Is q at most r?
False
Let t = 104.9 - 104.8. Are t and 6/7 equal?
False
Let f = -0.03 - -6.03. Let l = f + -19. Let o = l - -15. Which is smaller: o or -2/9?
-2/9
Let r be (-2)/((-1 + 3)/(-2)). Let d = r - 5. Suppose 56*l + 184 = -36*l. Is l less than or equal to d?
False
Let t(n) = n - 1. Let g = -43 - -43. Let f be t(g). Is 0.7 equal to f?
False
Let c(y) = -y**2 + 23*y + 20. Let n be c(24). Let z be 71*(-5)/(-10) + n. Which is greater: 33 or z?
33
Let d = -3031/125460 - -10/369. Let g = -591/30260 - d. Is 0 greater than g?
True
Let g(x) = x**3 + 25*x**2 + 3*x + 62. Let o be g(-25). Let l(y) = y**3 + 14*y**2 + 17*y + 40. Let d be l(o). Which is greater: d or 1?
1
Let m be 14*1/36 - (-14)/(-28). Does m = 1.39?
False
Let s be -2*((-25)/(-30))/5. Which is smaller: s or -2/55?
s
Let x be ((-2)/(-28))/(-1*(-1)/(-12)). Let v(q) be the second derivative of -q**3/6 + 2*q**2 - q. Let l be v(6). Is x at most l?
False
Let l be 8/(-6) + 22/3 + -7. Which is smaller: l or -4/285?
l
Let x be (2/6)/(1*(-5)/55). Let l = x + 6. Is 3 <= l?
False
Suppose -80 = -4*c + 4*y, 0 = 5*c - y - y - 94. Let r be (-24)/(-10) - c/(-30). Suppose 4 = -2*g + b + r, 0 = -5*b + 15. Which is smaller: g or 0?
0
Let z(d) = -d**2 + 13*d + 140. Let h be z(20). Let j = 0 + 0. Suppose -u + k + 1 = j, 0 = u - 0*u + 4*k - 1. Which is greater: h or u?
u
Let g be (3 + 0)/117*(-33)/(-350). Let y = g + 3/350. Is 1 bigger than y?
True
Let p = 1.6 + -3.4. Let d = 46 - 43.9. Let c = d + p. Do 2 and c have the same value?
False
Let k be (-7530)/690 + (75/(-69) - -1). Let y(s) = 3*s - 3. Let c be y(-3). Are c and k unequal?
True
Suppose 0 = a - 2*t + 47, 5*t - 2*t = -3*a - 168. Is a greater than -53?
False
Let n be ((-494)/(-57))/(4/(-102)). Let l = -145 - n. Let o be 2/(-7) - l/28. Which is bigger: o or 0?
0
Suppose -2*w - 5*x - 130 = 0, -5*w + 241 = -8*w + 4*x. Is -381/5 at most w?
True
Suppose -16*w + 176 = 48. Is w >= 11?
False
Let m = 3486 + -3430. Suppose 4*u - 6*u = -4*y + 230, 292 = 5*y - 4*u. Are y and m nonequal?
False
Let c = -0.16 - -0.06. Let x = 21 + -7. Is x at most c?
False
Let h be (5/10)/(3/(-48)). Let a(b) = -3*b - 32. Let d be a(h). Which is bigger: -20/3 or d?
-20/3
Let h be 4/(-18) - 3172/(-15327). Let s = -72 + 71. Do s and h have the same value?
False
Let f(d) = -d**2 + 18*d - 27. Let u be f(16). Let s(i) = i**2 - 3*i - 10. Let j be s(u). Are j and 1/231 non-equal?
True
Let k = -325 - -190. Is -134 bigger than k?
True
Let l be (-3)/1 + (-28)/(-7). Let g = 296973/1672 - 1421/8. Are g and l unequal?
True
Suppose 9*r = 107*r - 196. Let w = 1 - 2. Is w less than or equal to r?
True
Let w = -8 + 17. Let j = -33 + 25. Let f = w + j. Which is greater: 2/9 or f?
f
Let o be ((-855)/170 + 5)/(2/(-4)). Let q(y) = -y + 2. Let h be (-3)/6*(-4)/1. Let f be q(h). Is o at most as big as f?
False
Let b(a) = a**3 + 2*a + 32. Let g be b(0). Let p = g + -45. Let q be (-3 + p)*1 + 2. Which is greater: q or -13?
-13
Let b = 761 - 665. Which is bigger: b or 95?
b
Suppose n = 3*s + 199, 2*s + 821 + 239 = 5*n. Is n equal to 216?
False
Let r = -9 + 11. Let p(t) = 2*t - 6. Let v be p(r). Which is smaller: v or -3?
-3
Let o(k) = -23*k**2 - 11*k + 11. Let s be o(4). Are s and -1603/4 unequal?
True
Let s = 74 - 1184. Is s at least as big as -1110?
True
Let y = 2219 - 2206. Which is bigger: y or -17?
y
Let c = 1195 + -2391/2. Which is bigger: c or -501?
c
Let k(v) be the second derivative of -v**6/120 + v**3/6 + 2*v**2 + 2*v. Let l(b) be the first derivative of k(b). Let j be l(1). Which is smaller: j or -2/5?
-2/5
Let y(d) = -d - 1. Let k(p) = -2*p - 10. Let b(c) = k(c) - 4*y(c). Let m(w) = w. Let a(r) = b(r) - m(r). Let v be a(10). Which is smaller: -1 or v?
-1
Let n = -152 + -247. Is n at least -399?
True
Let q = 43 + -15. Suppose -q - 20 = 8*y. Which is smaller: y or -7?
-7
Let o be (-21)/70 + (-5734)/20 + 1. Which is smaller: o or -287?
-287
Let h be (-1236)/(-15) - (-4)/(-10). Which is greater: 83 or h?
83
Suppose 0 = -409*r + 406*r. Are r and -2/531 non-equal?
True
Let x = -47 - -52. Suppose -6 = -2*v + 4*w, x + 7 = 4*v + 3*w. Let y(b) = b**2 + 6*b + 4. Let i be y(-6). Are i and v equal?
False
Suppose 3*l + 35 = 11*m - 6*m, -l + 11 = 4*m. Which is smaller: l or -45/8?
-45/8
Let b = -3017/10 + 302. Let z be -4*(3 + (-7)/2). Suppose -z*j - 2*j - 4 = 0. Which is greater: b or j?
b
Let v = -14702/61389 - -40/171. Which is bigger: -1 or v?
v
Let p(a) = -3*a + 2. Let t be p(7). Let n(g) = -3*g**2 + 2*g - 10. Let c be n(2). Is c >= t?
True
Let c = 157/612 - 5/36. Let v be ((-4)/8)/(3/(-6)). Let l be v/((-56)/(-12) + -5). Does c = l?
False
Let a = 53 + -52.36. Let z = 0.54 - a. Is z less than 1/34?
True
Let y = -0.709 - 0.001. Let n = -0.91 - y. Is n < -0.2?
False
Let g = 2347/33054 - -1/2361. Is g >= -1?
True
Let g(n) = 14*n + 619. Let t be g(-44). Is 10 greater than t?
True
Suppose 2*j - 40*m = -35*m - 17, 5*j - 4*m + 17 = 0. Which is smaller: -2/449 or j?
j
Suppose 45 = 4*w + i, 23*w - 26*w + 4*i + 10 = 0. Suppose 3 = 2*j - 4*o - 9, -3*j + 2*o = -26. Are w and j non-equal?
False
Let s be 2/8 + (-12)/176. Let t(l) = -l**2 + 8*l + 20. Let n be t(10). Suppose -3*c - 3 + 2 = 4*k, 2*c - k - 3 = n. Which is smaller: s or c?
s
Let o be (1 + (-110)/90)/((-20)/(-6)). Which is smaller: 1 or o?
o
Let n = 16 + -8. Let d be 1/2*(6/(-4) + 2527/266). Which is smaller: n or d?
d
Let h = -6 + 5.94. Let g = 3506/8197 - -1/1171. Is g at most as big as h?
False
Let k be -1 - 1 - 154/(-66). Is 2/285 less than k?
True
Let p = -296 + 167. Let c be 178/p + 20/15. Is 1 >= c?
True
Let o = 3.3 - 1.3. Let r = 0.054 - -5.946. Which is smaller: r or o?
o
Let n be 48/9 - (-2)/(-6). Suppose -3*u + n*p = -13, -3*p + 9 + 0 = u. Suppose -8 + u = -w. Is 2 less than or equal to w?
True
Let k = -29.8 - -15.9. Let z = 14 + k. Let t = -2.5 + -7.5. Is t greater than z?
False
Let n(x) = x + 95. Let l be n(-29). Is 63 >= l?
False
Let h = 92.4 + -92.427. Which is smaller: -4/5 or h?
-4/5
Let c = -43 + 67. Suppose -7*h = -2*h + 320. Let m be (2/c)/(24/h). Which is smaller: 1 or m?
m
Let t = -252.3 + 253.323. Let y = t - 0.023. Is y not equal to -0.16?
True
Let x be -6 - (-4)/(0 - -1). Let o = -1 - x. Let l be (o/(-14))/((-7)/168). Which is bigger: 3 or l?
3
Let g = 44 + -62. Let a be (-13)/5 + g/45. Let u = a - -2. Is u less than -1?
False
Let s be 51/34*16/(-6). Let l be (-7015)/1300 - s/(-26). Let c = 43/10 + l. Are 0 and c unequal?
True
Let b(a) = 2*a**3 - 51*a**2 + 25*a + 2. Let x be b(25). Which is greater: x or 18/23?
x
Let j be 2/8 + 190/8. Let u be -18 - (14/(-6) + 8/j). Which is greater: -15 or u?
-15
Let b be 2 - ((-12)/(-4) + -2). Suppose -6*s + 25 = b. Is 4 >= s?
True
Suppose 5*i - i + 2*u - 22 = 0, 0 = -5*i - 5*u + 20. Let n(b) = -b + 15. Let m(a) = -2*a + 31. Let k(p) = 4*m(p) - 9*n(p). Let h be k(i). Is -4 greater than h?
False
Suppose -2*w + w = h, -3*w - 6 = h. Suppose -3*x = -2*o - o - 6, -4*o = x + h. Let j be o + 1/(-3) + 1. Which is smaller: j or -0.1?
j
Let s = 12.7 - 20.7. Let r = s - -8. Which is smaller: -6/17 or r?
-6/17
Let s be ((-54)/(-45))/((-3)/(-10)). Suppose 4*g - 24 = -s*w, 5*g - w + 3 = 3*g. Is g at most as big as 1/5?
False
Let r be 5