o = -7 + u. Which is bigger: 1 or o?
1
Let r(k) = -k + 16. Let n be r(7). Let w be (1/n)/((-2)/16). Suppose o + 0*o = -1. Is w < o?
False
Let k = 101.5 - 10.5. Let l = k + -63. Is 1 >= l?
False
Let k = -69 - -622/9. Let d(i) = -i**3 + 6*i**2 - 6*i + 6. Let r be d(5). Is k at most as big as r?
True
Let o = 1.95 - -2.05. Which is smaller: o or 20?
o
Let t = -1.88 - 1.12. Are -13 and t non-equal?
True
Let m = 236 + -235. Let j(v) = v**3 + 5*v**2 + 3*v + 2. Let q be j(-4). Which is smaller: m or q?
m
Let n be 4/6 + 10*7/(-105). Suppose 0 = -2*m + m - 2. Which is smaller: m or n?
m
Suppose -2 + 5 = b. Let u be 5/b - (-2)/(-3). Suppose 5*n - 2*y = 2*y + u, 3*y + 24 = -4*n. Is -3 at most n?
True
Suppose -s - 54 - 46 = n, 5*s = -2*n - 212. Which is smaller: n or -99?
-99
Let q be (5/(-5))/(0 - -1). Which is greater: 0 or q?
0
Let b be ((-1)/1)/(4/(-84)). Suppose k - 4 = b. Is 27 smaller than k?
False
Let n = 267 - 267. Is n at most as big as -1/972?
False
Let b be 2 - -3*(5 + -4). Let t = 1 - -1. Suppose -5*i - b = l - t*l, -3*i - 4*l - 3 = 0. Is i < 3/8?
True
Let y be 4/(-8) - (-73)/2. Suppose -2*q - 14 = y. Are q and -2 non-equal?
True
Suppose -954 = -30*m - 204. Is m <= 34?
True
Let o = -2.9 + 14.9. Let m = o + -12. Let r = m + -0.1. Which is smaller: 0 or r?
r
Suppose 11*u - 4*u + 70 = 0. Let l(q) = q**3 + 11*q**2 + 9*q - 12. Let n be l(u). Is 0 at least n?
True
Suppose 2*u + 1314 = -2*w, 3*w - 3*u - 647 = 4*w. Do -662 and w have the same value?
True
Let a = -0.94 + 0.839. Let y = a + -0.899. Is y < 0?
True
Let c be (-8)/(-10) - (-4)/(-10). Let b be 1*(59/(-3) - 25/75). Which is smaller: c or b?
b
Let h(r) = r**2 + 9*r - 112. Let u be h(7). Let s = -11288/13 - -869. Which is bigger: s or u?
s
Suppose 0 = -5*c - 3*x - 69, 43*c + 5*x - 125 = 48*c. Let u be ((-2)/9)/((-1)/(-75)). Is c greater than or equal to u?
False
Let s = -4 + 6. Let l = -12.85 + -0.15. Let b = 12 + l. Which is greater: s or b?
s
Let r = 500 - 500. Which is smaller: r or -55?
-55
Let y = -0.03 + 0.03. Let n = -0.953 - -0.253. Which is bigger: n or y?
y
Let d(r) = -r**3 + 9*r**2 - 12*r - 6. Let o(l) = -l**2 - 1. Let c(g) = d(g) - 2*o(g). Let v be c(10). Is -23 < v?
False
Let m be 18/10 + 3/15. Let i be 1414/21*(m + 1). Let t be (-14)/(-77) + i/99. Is 1 >= t?
False
Let s be ((-18)/(-12))/((-26)/(-8) + 2). Which is bigger: s or -7?
s
Let q(o) = -o + 9. Let i be q(13). Let x be 1/(-2) - (-15)/i. Which is bigger: x or -5?
x
Suppose 0 = n + 4*u - 51, -79 = -5*n - 2*u + 104. Suppose -4*y + 4*x = -n - 9, 39 = 4*y - 3*x. Let p be 1 + 1 - 8/y. Which is smaller: p or -0.7?
-0.7
Let n be 10/(-30) + (-56)/(-6). Let l = 8 - n. Let w be (-6)/(-21) - -6*(-6)/(-315). Which is bigger: w or l?
w
Let y = -739 - -738. Which is smaller: -1/500 or y?
y
Suppose 3*d + d - 2 = 3*y, 0 = 3*y + d - 8. Which is smaller: 66/29 or y?
y
Let s be (370/(-40))/(8/(-64)). Is 80 less than or equal to s?
False
Let f = 2 + -1. Let n be -4 - (-2 + 2 + f). Let o be -26*(-2)/12*39/(-39). Is n bigger than o?
False
Let c = 0.02414 - -237.02586. Let t = 242 - c. Let w = t - 5. Which is bigger: -1 or w?
w
Let g(p) = p - 19. Let z be g(17). Let i be (-15)/(-4)*(0 - (z - 2)). Is 16 smaller than i?
False
Let y = 108/29 + -4370/1189. Let u = -6 + 7.7. Let g = 3.7 - u. Which is smaller: y or g?
y
Let q = 1 - 1. Let s = -4288/105 + 286/7. Let m = 113/420 - s. Is m bigger than q?
True
Let k = 25.0555 + -0.0555. Which is greater: k or 2?
k
Let d = -7 - -10. Suppose 0 = -4*x + s - 20 + 8, 4*x - 4*s = -12. Let v be x + 92/28 + 72/(-105). Is d > v?
True
Suppose 3*l + 2 = -0*l + m, -5*m + 26 = l. Is l <= -3.7?
False
Let l = 1 + -1. Let m = l - -0.1. Let t = 512/5 - 106. Which is greater: m or t?
m
Suppose -10 = -5*f - 5*y, -5*f - 2*y + 0 = -13. Let h(z) be the first derivative of -z**2 - 7*z + 2. Let n be h(-5). Is n at most as big as f?
True
Let l(b) = -b**2 + 3*b + 3. Let d(o) = o**2 + o + 3. Let n be d(0). Let x be l(n). Let f be (12/18)/(-4 - (-152)/36). Do f and x have the same value?
True
Suppose -3*l = 2*l + q - 1313, 0 = 3*l + 5*q - 779. Is 262 greater than l?
False
Suppose -4 = -2*h + 22. Let p = -11 + h. Suppose 0 = 4*q + p*d - 3 - 33, q = 4*d + 27. Is q greater than or equal to 10?
True
Let a = 9586/5 + -1943. Do -27 and a have the same value?
False
Let k = 50 - 49.937. Let y = 0.037 + k. Which is smaller: y or -6/7?
-6/7
Suppose z = -8 + 9. Does z = -3/107?
False
Suppose -253*y = -5*z - 254*y - 747, 3*y + 155 = -z. Does z = -597/4?
False
Let m be -1*(-67895)/122*4/(-2). Let d = 1113 + m. Which is greater: d or 0?
0
Let w be ((-2)/(-6))/(2 + (-249)/126). Is w >= 14?
True
Let p be (-2 + -1 + 5)*24. Which is greater: 51 or p?
51
Let o be 4/(24/(-498))*(-1 + -1). Let t = -168 + o. Is t at least as big as -20?
True
Let c be 2/((24/180)/(1/3)). Suppose 5 = 5*j - 0. Let z be -1 - (-2 + j + -5). Is z at most as big as c?
True
Let m(d) = 6*d**2 + 27*d + 122. Let i be m(-8). Is 290 greater than i?
False
Let y(m) = -m**3 + 8*m**2 - 4*m + 52. Let v be y(8). Let w be 151/9 - 2/(-9). Is w < v?
True
Let v = -8 - -8.6. Let y = 0.3 - v. Let j = y + 0.5. Do j and -1 have the same value?
False
Let g be 25/10*(-7 + 213/30). Is 2/177 greater than or equal to g?
False
Let z = 129/7 - 251/14. Which is bigger: 23 or z?
23
Let b(l) = -l - 2. Let p be b(1). Let y be ((-32)/12 - p) + 0. Let m be 0*((-3)/2 - -1). Which is greater: m or y?
y
Suppose 2 + 4 = -2*w, -p = -5*w + 32. Let o = -39 - p. Let a = 16 - 8. Is o > a?
False
Suppose 0 = 25*b - 4986 - 2464. Which is smaller: 297 or b?
297
Suppose -23 + 14 = -9*l. Is l less than or equal to 7/4?
True
Let f = 123 - 385. Which is bigger: -1 or f?
-1
Let s = 1385 - 1351. Let i = 79 + -120. Let a = i + s. Which is smaller: -8 or a?
-8
Let s(y) = 6*y - 5 + 0*y - 7*y. Let w be s(2). Is w at most -45/7?
True
Suppose 5*m = -2*i - 19, 4*i + i + 10 = -5*m. Suppose 8*o - 150 = 38*o. Is o > m?
False
Suppose -2*l + 28 - 17 = y, -3*l - 2*y = -14. Are l and 30 non-equal?
True
Let y = -0.135 - -11.135. Let t = -11 + y. Is -7 at least t?
False
Let i = 1/90 - 47/180. Which is smaller: i or -39?
-39
Let b = -9 + 11. Let u be b/(-4) - (2 + -3). Let r = 6.9 + -7. Which is bigger: u or r?
u
Let s be 2 - 0*(-3)/15. Suppose 0 = -4*q, 3*q + q = -2*l - s. Which is smaller: -0.1 or l?
l
Let i(j) = -34*j + 62*j - 39 - 27*j + 13. Suppose -3*n = -2*d + 9, 4*d = 3*n - 7 + 28. Let v be i(d). Is v greater than or equal to -20?
True
Let s = -1050 - -1050.6. Which is bigger: -3/4 or s?
s
Suppose 20 + 114 = 4*t + q, -3*q = -5*t + 176. Which is smaller: -1 or t?
-1
Suppose -10*j + 133 = -287. Do 36 and j have the same value?
False
Let q be (-12 - -11)*2/(-11). Suppose -2*x + 4*x + 2 = -4*t, 5*t = 3*x - 8. Is q at least as big as x?
False
Let g(v) = -5*v + 73. Let b(o) = o**2 + 3*o - 7. Let t be b(4). Let k be g(t). Does -32 = k?
True
Suppose 2*l + 2*n - 28 = 0, l + 3*n = -0*l + 16. Let v be ((-8)/(-12)*-3)/l. Let u = -3 - -1. Which is smaller: u or v?
u
Let p(f) = -f**2 + 2*f**3 + 13*f**2 - 10*f**2 + 2 + 3*f. Let o be p(-1). Which is smaller: o or 1?
o
Let n be (-2)/(-3) + 1264/(-72)*3. Are -53 and n unequal?
True
Suppose -i - 2*i = 3*w - 12, -w + 5*i + 28 = 0. Let y(s) = 14 + 7 - 9*s**2 + 7*s - 13 - 2*s**3 + 3*s**3. Let g be y(w). Which is smaller: g or -8?
-8
Suppose -59*l = 2*l + 74969. Is -1230 >= l?
False
Let t be 24/16 + (-1)/2. Let q be (t + 1)*180/24. Let z be (-1)/(-1)*6/q. Which is greater: z or 1?
1
Suppose 2*f + 21 = 9. Suppose -3*t - 3*a = -51, -4*a + 44 - 12 = t. Suppose -2*j - j = t. Are f and j nonequal?
True
Let a(j) = 7*j + 5. Let i(u) = -20*u - 15. Let t(h) = -8*a(h) - 3*i(h). Let k be t(-5). Let r = 0.2 - 1.2. Is k >= r?
False
Let u = -1.3 - -0.3. Let g = -878 - -879. Which is bigger: u or g?
g
Suppose -116*p + 3660 = -101*p. Is p less than 246?
True
Suppose -2*j + o = -5*j + 47, j - 3*o - 19 = 0. Let s = 4861/3 + -1603. Is s equal to j?
False
Let j(n) = 163*n - 650. Let p be j(4). Is p greater than 55/2?
False
Let m = -22.72 + 2.72. Which is greater: 0.03 or m?
0.03
Let n = 91 + -73. Which is bigger: n or 132/7?
132/7
Let f = 605 - 605. Which is smaller: 8/33 or f?
f
Let h(s) = -s**2 + 4*s + 7. Let t be (1 + 0)*-5*-1. Let z be h(t). Suppose 2*b + z*d - 4 = -d, -2*d - 14 = -2*b. Is 8 bigger than b?
True
Let a be (-2