
False
Suppose 2*i = i + 2. Suppose -9 = i*l - l. Let c be (12/l)/1 + 0. Which is bigger: c or -0.1?
-0.1
Suppose 0 = 4*r + 445 - 445. Which is greater: r or 253?
253
Let g = -5671/7 + 5155/7. Which is smaller: g or -74?
-74
Let y be 0 + (-3)/(15/(-25)). Suppose -y*i + 3 + 2 = 0. Which is smaller: 2 or i?
i
Let h = -673 + 671. Which is greater: h or 0.33?
0.33
Let w(h) be the second derivative of h**5/20 + 13*h**4/12 + h**3 + 11*h**2 + 4*h. Let c be w(-13). Which is smaller: c or -58?
-58
Let n = -30.515 - 0.375. Let b = 5.41 - n. Let y = b + -36. Which is smaller: -2/3 or y?
-2/3
Let c = -820 - -772. Which is greater: c or -47?
-47
Let y be (-40)/24 + (-2)/6. Let b be 3/y*6/9. Let i be b/(-2 + 159/6). Is i equal to 1?
False
Let f be (2/10)/((-4)/(-10)). Let b = f - 7/6. Let n = 0.38 + -0.28. Is n at most as big as b?
False
Suppose 0 = 6*s - 12*s - 1200. Let h be (8/s)/(1 + (-4)/6). Which is smaller: h or -1?
-1
Let l(q) = 18*q + 37. Let t be l(-2). Which is greater: -124 or t?
t
Let o(t) = 636 - 318 - 315 - t. Let p = -2 - -7. Let i be o(p). Is i at most as big as -2?
True
Let q = 162 - 5024/31. Which is greater: q or 1/2?
1/2
Let v = 45 + -41. Let y(g) = -g**3 - 5*g**2 - 4*g + 2. Let k be y(-4). Is k less than or equal to v?
True
Let k(i) = -12 + 4*i - 7*i + 4*i + 0*i. Let c be k(8). Let y be (-6)/c*(-12)/9. Do y and 0 have the same value?
False
Suppose b + 0*b = 5*z - 96, -z + 4*b + 23 = 0. Suppose -2*q = 3*t + z, -5*q + t = -3*q + 15. Which is greater: q or 0.2?
0.2
Let g = -1 + 9. Let j(y) = -y - 1. Let u(k) = -k**2 + 9*k - 39. Let h(p) = 5*j(p) - u(p). Let f be h(11). Is g greater than or equal to f?
True
Let a be 337156/6*(-1)/4. Let f = a + 847321/60. Let k = f + -74. Which is smaller: 1 or k?
k
Let h be -3 + 3 + 1 - (4 - -74). Which is bigger: -73 or h?
-73
Let z(u) = -3*u + 15. Let b be z(3). Let q = b - -25. Do 30 and q have different values?
True
Let t = -64 + 1. Let r = t + 63. Which is smaller: r or 2?
r
Let a be (-28)/(-6) + 8/(-12). Let h(x) be the first derivative of -x**2 + 2*x + 9. Let z be h(-1). Is z >= a?
True
Let g be (9/6)/(3/10). Suppose 5*l - 2 - 3 = -g*p, -5*l = 2*p - 2. Let m be -2 + l + (-2 - -4). Which is smaller: -1/4 or m?
-1/4
Let f = -6.5 + 7.5. Let v(y) = 4*y + 2. Let g be v(5). Suppose 0 = -5*l - 3*k - 14, 2*k = 3*l - 3*k + g. Which is smaller: f or l?
l
Suppose 0*b = -4*b + 12. Let r be 2 + 3/b - -3. Let u be (6/(-58))/((-9)/r). Which is smaller: -1 or u?
-1
Suppose 129*u - 60*u + 2898 = 0. Let n = -9.9 + 10. Is u at most as big as n?
True
Let i be (-8)/14 - 2318/133. Does i = -2?
False
Let v = 23 - 22. Is v < 1/58?
False
Let w = 190 - 80. Is 110 less than w?
False
Let k = 4.8 - 0.3. Let h = -4.109 + 0.109. Let o = h + k. Is o < 0.1?
False
Suppose 4*c - 5 = 3*y, c = 6*c - 4*y - 6. Suppose -5*l - 3*d = -4*d - 1, 0 = -c*d + 8. Let x = 2/9 + -67/261. Which is bigger: l or x?
l
Let u = 390 - 8968/23. Let c = -463 - -462. Are u and c equal?
False
Let z be 0/(-1) - (-1)/1. Let g = -4674653/810630 - -2/81063. Let k = -28/5 - g. Is k less than or equal to z?
True
Suppose 4*x = 2*f + 552, -5*x = -11*f + 15*f - 690. Do x and 139 have different values?
True
Suppose 0 = -6*l + 148 + 380. Which is smaller: l or 85?
85
Let n(u) = 8*u - 42. Let q be n(13). Let w = -62 + q. Which is smaller: -3/29 or w?
-3/29
Let x be 0/(-42) + 3/(-106)*1. Does x = 0?
False
Let q(l) = -l**3 + 23*l**2 + 20*l - 5. Let h be q(24). Are h and -101 equal?
True
Suppose 312*o - 305*o = -42. Is -5 at least o?
True
Let c = -2694097/424 - -6354. Which is bigger: c or -1?
c
Let z = -0.45 + 0.5. Which is greater: -3 or z?
z
Let q(n) = 24*n - 5. Let a be q(2). Suppose a*s - 27 = 44*s. Let o = -14 - 13. Is s < o?
False
Let q = 3685/138 + -135/23. Which is smaller: 21 or q?
q
Let z = -1/113 - 109/452. Let n = 0.385 + -0.085. Which is bigger: n or z?
n
Let h(z) = 5*z - 56. Let u be h(11). Let o = 236 + -6135/26. Is o <= u?
False
Let u = 3 + -2. Let t be (-7653)/168 - 5/(-40). Let w = -5109/112 - t. Which is smaller: u or w?
w
Let n = 308 - 262. Is 46 greater than or equal to n?
True
Suppose g + 5*z = -29, g = -g - 2*z - 18. Let p be (2/(-26))/(g/(-24)*-39). Is p at least 0?
True
Let z be 8/12*75/10. Suppose -z*w = 2*i + 23, -2*w + 5*w + 12 = -3*i. Do w and -3 have the same value?
False
Suppose a + 54 = -5*g, -3*a - 2*g - 161 - 1 = 0. Which is bigger: -52 or a?
-52
Let n = 70 + -74. Let o be 5/((-10)/n) - 24/15. Is -16 > o?
False
Let q = -117.1 - -117. Let m = 15.37 + -0.37. Let u = m - 10. Which is smaller: q or u?
q
Suppose -1702*k + 1693*k - 315 = 0. Is -34 equal to k?
False
Let t be (2 - -1)*(-1925)/(-1155). Suppose a = -4*a + 30. Which is smaller: t or a?
t
Let f be (-32)/(-80) - (77/5 + 1). Which is smaller: f or -21?
-21
Let c be 5/(-10) + 6309/11270. Let g be -5 + -2458*(-5)/2450. Let y = c - g. Is y > 0?
True
Let t(y) be the first derivative of -3*y**2/2 - 6*y - 4. Let h be t(-7). Let d be h/(-20)*(-6)/(-9). Which is greater: d or 0?
0
Let m be (22/16 - 8)*-2. Which is smaller: m or 12?
12
Suppose 40*w - 23 = 41*w - 2*t, -4*t - 22 = 2*w. Let i = -5 - -3. Let q(k) = -3*k**2 + 3*k + 2. Let j be q(i). Is w > j?
False
Let s = -208 + -61. Which is smaller: s or -272?
-272
Let h be 1230/(-25) - (-1)/5. Let k = h - -52. Is -3 > k?
False
Let y be ((-3186)/(-1592) - 2)*(7 - 3). Which is smaller: y or -1?
-1
Let k be 3213/(-105)*(-13 + 3). Which is greater: k or 310?
310
Let s be (-2)/(-6) + 2/(-7). Let i = -47/105 + s. Let o be (8*(-15)/(-420))/(11/(-616)). Which is bigger: i or o?
i
Let t be (-9)/(-12)*(-7 - -79). Let u be ((-6)/(-8))/(t/(-240)). Is -3 greater than u?
True
Let m be (4 - -2) + (-63)/(-15) - -5. Is m smaller than 1?
False
Let u be ((-42)/(-1155))/((-2)/(-10)). Is u smaller than 89?
True
Let k = -10 + 10.568. Let p = -0.048 + k. Is -0.1 greater than or equal to p?
False
Suppose -18*s + 47 - 65 = 0. Which is bigger: 4/799 or s?
4/799
Let b be 3403/(-451) - 1*2. Which is smaller: -10 or b?
-10
Let y(o) = o**2 - 11. Let t be y(4). Is t smaller than 58?
True
Let f(l) = -l**2 - 6*l + 8. Let t be f(-7). Let j be 27/6 + (-4 - t). Does j = 0?
False
Let y = 26 - 23.6. Let x = -0.4 + y. Let c = -9494 - -85448/9. Which is smaller: x or c?
c
Suppose -172*s - 72 = -190*s. Let t = 2171/3 + -10055/12. Let l = -115 - t. Is l less than s?
True
Let b = -5.1 - -3.1. Let p = -66/13 + 1624/325. Is p at least as big as b?
True
Suppose 6*q + 2*q = 56. Suppose 39 = -q*v - 17. Is v at least as big as -9?
True
Suppose -55 + 229 = 4*f + 6*h, -f = -5*h - 63. Which is smaller: f or 39?
39
Let x = 96 - 8930/93. Suppose 5*o = -2*o. Is o smaller than x?
False
Let z = 1.41 + 0.52. Let q = 0.047 + -0.117. Let h = q - z. Is h at most as big as 7?
True
Let l be 4561/22 + (-20)/(-110). Which is smaller: l or 209?
l
Let i = -299/24 + -39/8. Does -18 = i?
False
Let f be (-245)/(-1500) + 2/(-24). Let c be -2*((-1)/(-2))/1. Is c equal to f?
False
Let q = -97 + 98. Which is bigger: q or 9/32?
q
Let o(d) = d**3 - 3*d**2 - 2*d + 4. Let a be o(0). Let b be (a/6)/((-2)/108). Is -0.1 at least b?
True
Let v = -12 + 10.8. Let q be (0 + -1)*(98/(-77))/7. Which is bigger: v or q?
q
Let u(j) = j**3 + 5*j**2 + 2*j - 4. Let b be u(-3). Let g = -21 - -21. Suppose -23 = -5*d + 2*x + 16, g = -3*d + x + 23. Is d less than b?
True
Let k be ((-6)/(-45))/2 + 7/(-35). Which is greater: k or -1?
k
Let f(y) = -y**2 + y + 2. Let d = -2 - -3. Suppose 1 = u - d. Let j be f(u). Are -3 and j equal?
False
Let f(i) = 4 - 4 - 2*i + 2 - 6*i. Let z be f(-3). Let x be z/(-30) + (-7)/(-7). Which is bigger: x or 1?
1
Let j be 0*((-15)/(-6))/(-5). Suppose 3*p = g - 18 - 1, j = 3*g + 2*p - 13. Do g and 9 have different values?
True
Let o(c) = -49*c - 148. Let d be o(-3). Are d and 37 equal?
False
Let k be -3 + 12*10/15. Suppose 13 = -k*s - a, 0 = -5*s - 5*a + 2 - 7. Which is smaller: -4 or s?
-4
Suppose -36 = -10*r + 4*r. Let q be (-330)/45 + 8/r. Let v = -7 - q. Which is greater: -1/26 or v?
-1/26
Let k = 136 + -101. Suppose 7*j - 12*j - k = 0. Suppose -a - 27 = 2*a. Which is smaller: j or a?
a
Let m = 47 - 47. Which is bigger: 2/149 or m?
2/149
Let t = 167 + -144. Is t < 23?
False
Let z = 0.274 + -0.657. Let i = -0.41 - z. Which is smaller: 0 or i?
i
Let i = -70 + 76. Suppose -160 = i*f - f. Is f at least as big 