20) - (-2)/h. Which is smaller: u or n?
n
Let c = 35 - 53. Let j be (-25)/(-30) - 3/c. Let g be (-2)/4*(-4)/(-13). Do j and g have different values?
True
Let c be 5/(-18)*112/1540. Is 1 < c?
False
Let z(g) = -28*g - 38. Let x be z(-9). Is 214 >= x?
True
Let b be ((-3)/282)/(15/(-10) + 2). Which is smaller: b or 0?
b
Let a = -3930 - -98224/25. Does a = -2?
False
Suppose 0 = 3*d - n + 226, 12*d - 7*d = -2*n - 362. Is -74 at least d?
True
Let l be 19 - (10 - (-56)/(-8)). Let b = 6 + 11. Which is smaller: b or l?
l
Suppose -s - 5*h + 2 = -3, 4*h = 8. Let m(k) = -3*k**2 - 4*k + 12. Let f be m(s). Which is smaller: f or -44?
-44
Let r(h) = -2*h**2 + 16*h - 31. Let x be r(3). Which is greater: x or 6/35?
6/35
Let o = 1250 + -1255. Let m = 2/85 - 599/170. Which is smaller: o or m?
o
Let n = -39.06 - -0.06. Let a = n - -19. Let j = 19.5 + a. Which is greater: 0 or j?
0
Let c = 10 + -4. Let m be ((-9)/c + 3)*14. Let x = 20 - m. Is x at most as big as -2?
False
Let o(j) = j + 8. Let m be o(-11). Let n(y) = y**2 - y. Let b(a) = 2*a**2 - a. Let z(t) = 2*b(t) - 3*n(t). Let r be z(-2). Which is smaller: r or m?
m
Let i = 41 - 83. Let r = i - -27. Which is bigger: -1 or r?
-1
Suppose -4*n - 2*d + 14 = 0, 3*d = 4*n - 0*d + 11. Let y be n + -2*(-15)/(-8). Let v = -81/28 - y. Is v smaller than 0.1?
True
Suppose -3 = -56*v - 3. Which is greater: 32/37 or v?
32/37
Let u be (-16)/136 - 147/51. Is u at most -13/3?
False
Let n = -8.5 + 8.5. Suppose m + 2*m = 0. Let u = m - -5. Which is bigger: n or u?
u
Suppose -4*l - 3*v - 5 = 0, -3*v + 5 = -5*l - 8. Let p = -8.3 + 1.3. Let k = 12 + p. Which is smaller: k or l?
l
Let l be 66/66*(4/(-10) - 0). Let a(b) be the second derivative of b**3/6 + b**2/2 + 2*b. Let o be a(0). Which is smaller: o or l?
l
Let o = 391 + -416. Which is smaller: o or -21?
o
Suppose -57*o = 23*o + 90 + 70. Suppose 3*y = f - 10, -3*y - 2 = -2*y. Suppose -f*p + 5*p = -1. Is p less than o?
False
Let w(a) = a**3 + 3*a**2 - 4*a - 5. Let g = -16 + 13. Let n be w(g). Is n less than 10?
True
Suppose -1 = -3*a + 5. Let t be 2/4 - (-47)/a. Is 23 <= t?
True
Let p = -211.4 + 212. Which is greater: 1 or p?
1
Let l be 160/42 + -2 + 0. Which is smaller: l or 1?
1
Let m(v) = v**3 - 2*v**2 + 2*v - 1. Let r be 6/4*2 + -2. Let l be m(r). Let c be (-102)/(-27) + -4 - 0. Is l equal to c?
False
Let f(x) = 85*x + 248. Let q be f(-3). Which is smaller: q or -8?
-8
Let r = 59373 + -59039.47. Let n = 331 - r. Let y = -2.5 - n. Which is greater: y or 2/13?
2/13
Let w = 208/7 - 30. Let i be (-2 + 46/24)/(4/42). Which is bigger: w or i?
w
Let z = -17/67 - -5545/201. Which is smaller: 26 or z?
26
Let w = 41 + -32. Suppose 3*i = 48 + w. Which is smaller: 21 or i?
i
Let m be 2/(228/24 - 9). Which is greater: 3 or m?
m
Let x = -6 + 8. Suppose -14*g = -6*g + 312. Let k be ((-9)/g)/3*-1. Which is greater: k or x?
x
Suppose 5*q + 239 - 234 = 0. Which is bigger: q or 1/39?
1/39
Let l(n) = -6*n - 75. Let g be l(55). Which is smaller: g or -404?
g
Let c(k) = -2*k - k + 2*k - 3 + 2. Let r be c(-3). Let y be (-8)/(-4) - (-4)/(-6). Is y less than or equal to r?
True
Let w be 0/(-7)*3/(1 + 2). Is 17/19 != w?
True
Let c be 11/33*(-1 - -4). Let k = 0.06 - -1.14. Let s = k + 0.8. Is c bigger than s?
False
Let c be -36*((-4)/3 + 1). Let y be c/10*(2 - (-70)/(-135)). Is y greater than 2?
False
Let v = 1387.8 - 1388. Is v >= 724?
False
Suppose -4*n + 2*c + 15 = 5*c, -2*n + 7 = c. Which is smaller: n or 8?
n
Let q be -2 - 14/(-5) - 60/(-50). Suppose -5*r = -k - 11, -2*r - 8 = -q*k - 7*r. Which is smaller: 23 or k?
k
Let c be (-3 + 1)*(2 + 3). Let m be 0 - (c + (-2 - -2)). Suppose 2*b + m = 12. Is b <= -1?
False
Let l be (-2 + 116/48)*26/260. Is l equal to -1?
False
Suppose 3*m = -2*a + 14, 4 = -2*a - 0*a. Let t(y) = 2*y**2 + 3*y + 2. Let i be t(-3). Let h = -5 + i. Is h smaller than m?
False
Let x = -1306036/175 - -7463. Which is bigger: x or 0?
0
Let a = 239 - 240.6. Which is smaller: 1 or a?
a
Let u = -13109/150 + 437/5. Suppose -4*f - k + 2 = 0, 6*f - 5*k - 14 = -k. Which is greater: u or f?
f
Let x(j) = 12*j - 27. Let r be x(16). Let h be (r/(-6))/(2/4). Is h less than or equal to -56?
False
Let z = 63 + -58. Let x = 5 - 2. Suppose -5*j - 8 = 4*b, -x*b = -z*j + 1 + 5. Is 1 at most j?
False
Let p = -13 + 15. Suppose t + p*t = 2*v - 6, -4*t + 2*v - 6 = 0. Are t and -5/9 equal?
False
Let j be (4/(-6) - 0) + 828/108. Is j less than or equal to 15?
True
Let p = 89 + -90.17. Let x = 1.57 + p. Which is smaller: -3 or x?
-3
Let y = -7/3 - -26/15. Let l = 2204 - 2205. Is l bigger than y?
False
Let i = 301 - 231. Are 214/3 and i equal?
False
Let x = -0.304 - 0.066. Let c = x - -3.97. Let i = -3.67 + c. Which is bigger: 1/4 or i?
1/4
Let f(l) = -6*l + 23. Let o be f(4). Let m be (1/o*11)/(-5) + -3. Is 4 < m?
False
Let t = 2 - 0. Suppose -4*k - 4*v = -20, k + k = 4*v - 20. Suppose k = c + t*c + 42. Is c <= -14?
True
Let y = 208/16921 - -7708448/11624727. Let b = -2/229 + y. Is b <= 68?
True
Suppose -9*h + 40 = -8*h. Let k be 4/h*(-3 - 26/(-12)). Which is bigger: 0 or k?
0
Let k be (-2)/(-4)*2 - 1. Suppose -3*q + 2 - 5 = k. Let z(w) = -8*w**2 - w. Let v be z(q). Are -7 and v equal?
True
Suppose -6 = -2*t, -3*n + 17 = -4*t - 7. Suppose n*i = 14*i + 6. Which is smaller: 0 or i?
i
Let y = -322 - -322.6. Is y bigger than -15/8?
True
Let n = -437 - -15296/35. Let u be 2 + (-3 - (-5 + 2)). Suppose -7 = u*h - 3*v, 4*h + 5*v - 6 = 13. Is h equal to n?
False
Let k(z) = -z - 4. Let y be k(0). Let x = 3 + y. Let w be (x/(-3))/(9/(-18)). Which is bigger: -6 or w?
w
Let g(n) = -9*n - 5. Let z be g(-5). Let u be 26*4/z - 3. Let q(d) = -d + 9. Let m be q(8). Are u and m nonequal?
True
Let y(q) = q**2 + 4*q + 14. Let w be y(-8). Let g = -45 + w. Is g greater than 2/111?
True
Suppose 2*t + 11 = 2*h - 83, h - 191 = 4*t. Let v be (t/22 - 4/(-22)) + 2. Is 25 greater than or equal to v?
True
Suppose -6*q = -q + 55. Let z = q - -10. Let k be (z + -2)/(6/8). Which is smaller: k or -3?
k
Let y(x) = 3*x**2 + 9*x + 23. Let q be y(-3). Which is smaller: q or 22?
22
Let z = 18298/183 + -100. Is 0 greater than or equal to z?
True
Let h(a) = a**2 + a - 3. Let p be h(0). Let k = 3 - p. Let d = 0 - k. Is -6 at most as big as d?
True
Suppose 0 = -m + 2*m. Let l = -41.58 + 43. Let p = l + 1.58. Is m less than p?
True
Let v = -1.03 + -0.02. Let x = 0.05 + v. Let d = -94 - -94.5. Which is smaller: x or d?
x
Suppose 2*u = -6*u + 7*u. Which is smaller: -2/613 or u?
-2/613
Let i = -0.051 - -0.151. Let p = -8.24 + 8. Is p at most i?
True
Let c be (-2)/(-2) - 1/5. Let j(w) = w**3 + 6*w**2 + 7*w + 12. Let k be j(-5). Suppose 2 = -4*i + 2*x - 6, -4*i = k*x. Which is smaller: i or c?
i
Suppose 0*p + 12 = 2*p. Let b be -18*4/(-6) - (0 - -3). Let a be (-1 + -17)/(b/p). Is a bigger than -11?
False
Let z be 610/216*-1 - 9/(-12). Which is smaller: z or -2?
z
Let r = -8.4 - 40.6. Let g = 49.2 + r. Which is smaller: 38 or g?
g
Suppose 0 = -20*n + 25*n + 25. Let c be n/(-10)*4/6. Let o(a) = -a**2 - 4*a - 2. Let s be o(-3). Are c and s equal?
False
Suppose 2*d = -3*v - 2*v + 1, 4*d = 5*v + 77. Let f(p) = 2*p - 20. Let a be f(d). Which is bigger: 13/2 or a?
13/2
Let y = 351 + -350.56. Which is bigger: 0.1 or y?
y
Let k be (14/(-384))/(((-7)/3)/7). Is k not equal to 1?
True
Let h = -152 - -151.4. Which is greater: -6 or h?
h
Suppose 3*x + 4*b - 20 = x, 2*b - 24 = -2*x. Let a be (-8)/12 - x/(-3). Let q be a/10 - (-14)/(-35). Which is greater: 1/2 or q?
1/2
Let v(i) = 2*i**2 + 40*i + 1. Let s be v(-20). Let n be (-1)/3 + s + 0 + -2. Is 0.1 > n?
True
Let u = -15.61 - -16. Let b = 6.61 + u. Which is bigger: 5 or b?
b
Let y = -33.9 - -44.9. Which is smaller: y or 6?
6
Suppose 0 = 4*r - 4*k - 64, 0 = -r - 7*k + 4*k. Is r > 10?
True
Let r = -526635/49 + 10747. Which is greater: r or 0?
0
Let b(q) = q + 3. Let v be b(-5). Let s be (-86)/42 - v/6. Suppose 0 + 2 = -2*r. Which is bigger: r or s?
r
Let j = -0.18 - -3.18. Suppose -3*h = -35 - 1. Suppose 0*l - 6 = -l + 2*p, h = -2*l - 2*p. Is l smaller than j?
True
Let h be -11 - (-50706)/5067 - (2 - 3). Is 0 less than h?
True
Let w(j) = j - 21. Let z be w(3). Let v be ((-1)/3)/(14/14). Is v at least as big as z?
True
Let o = -9 - -12. Let k = 1 + o. Suppose -25 = k*m - 9. Which is smaller: -5 or m?
-5
Let r(z) = 7*z +