19/2. Is l smaller than -2?
True
Let t be (-480)/44*(-70)/40. Which is smaller: t or 20?
t
Let i(x) = -x**2 - 12*x + 13. Let a be -1*10 + 54/(-18). Let q be i(a). Is -1 less than q?
True
Let o be 3 + 6/9*18. Let k be (120/9 - 1) + 3. Which is smaller: o or k?
o
Suppose 0 = 12*d - 15*d - 6. Let v be (-5)/d*6*6/225. Which is bigger: v or -12?
v
Suppose 8*a + 80 = 9*a. Suppose 5*b + a = b. Let z be (-5)/2*b/(-225). Are 5 and z equal?
False
Let t = 101128367/1987 + -50895. Is t >= 1?
False
Let y(w) = -7*w - 37. Let x(d) = -3*d - 18. Let i(t) = 5*x(t) - 2*y(t). Let n be i(-6). Suppose 4*c = 3*c. Is n greater than or equal to c?
False
Let m be (1/2)/((-1)/12). Let w = -9 - m. Let d be 6/w - -1 - -2. Which is smaller: d or 0.3?
0.3
Let h = -166 + 168. Let f = -0.38 - 0.02. Let w = f + 1.4. Which is bigger: w or h?
h
Let s(t) = -3*t**2 + 14*t + 14. Let j be s(7). Which is bigger: -36 or j?
j
Suppose -2*o = 2*g - 6*g - 322, -3 = 3*g. Which is bigger: o or 1/2?
o
Let x(v) = -v**2 + 14 + v - 2 + 4 + 9. Let t be x(0). Suppose 4*l - 37 = d, 3*l = 3*d + t + 41. Are d and -17 equal?
True
Let y = -47815/13 + 3671. Which is bigger: -8 or y?
y
Let i = 5.272 - 4.26. Let u = i - 0.012. Which is greater: -9 or u?
u
Let c = -64 - -61. Let b be (c - 28/(-8))*22. Which is smaller: b or 10?
10
Let n be 1/4*64/((-208)/(-13)). Are n and 2/13 unequal?
True
Let x(o) = o + 9. Let g be x(0). Suppose -2*v = -g*v. Which is greater: v or -7/8?
v
Suppose -30 = b + 4*b. Let w = b - -11. Let i be w/(((-3)/(-1))/(-3)). Which is smaller: i or -6?
-6
Let d be (-4 + 4)*(-2)/2. Let s = d + 0. Let h = -1280 - -16652/13. Which is bigger: h or s?
h
Let w = -28315.069 - -28333. Let c = w + 0.069. Which is smaller: c or 1/2?
1/2
Let q be (-122)/(-10) + (-3)/15. Let k be (-1*13/(-15))/(4/q). Which is smaller: k or -1?
-1
Suppose 0 = -h + 2*h. Let m be 11/2*(-880)/(-1210). Which is bigger: h or m?
m
Suppose -2*d + 3*t = -t + 578, -5*t - 587 = 2*d. Which is greater: d or -292?
d
Let s = 410 + -60. Is s >= 350?
True
Let q = -8.6 - -45.6. Let i = q - 38.9. Let d = i + 1.8. Which is smaller: -0.2 or d?
-0.2
Let w be 6/4*120/100. Let q = w + -37/20. Is q != -1?
True
Let z = 4/303 - 1021/8484. Suppose 4*w + 5*t = 4, -t + 1 = 4*w - 3*w. Is z smaller than w?
True
Let t = -120 + 117. Let k be (t/(-4))/((2/(-144))/(-1)). Is 53 at least k?
False
Let a = -0.103 - -0.003. Which is smaller: a or 0.0155?
a
Let h be ((-72)/84)/(2/(-7)). Let t(q) = -q + 3. Let y be t(h). Let b be 9*(4/(-12) + y). Is b less than -3?
False
Let a = 603 + -874. Which is bigger: a or -268?
-268
Let r = -0.0841 - -0.0841. Which is smaller: 4/7 or r?
r
Let o = 110 + -399. Which is smaller: -293 or o?
-293
Let o = 17 + -13. Suppose 0 = -4*k - o. Let b be 1 - 3 - (1 - 4). Do b and k have the same value?
False
Let t = 9641.16 + -9641. Let i = -0.1 - 0. Are i and t equal?
False
Let p = -114.9 + 122. Let z = p + -1.1. Let w be (-2)/(-2) - 0/(-87). Which is smaller: w or z?
w
Suppose -5*z + 4*y + 111 + 42 = 0, 0 = 3*z + 3*y - 108. Let f = -15 + z. Let n = 18 - f. Does n = -1/2?
False
Let g(u) = u**2 + 2*u - 2. Let v be g(-4). Suppose 5*c - 61 = w, -122 = 2*w - 4*c - v. Let x be 2*-1*4/w. Which is bigger: x or -1?
x
Let g = -13 + 15. Suppose -3 = -n - g. Let x be n/3*20/220. Is x bigger than -1?
True
Suppose 5*a + 30 = 2*s, 4*a - s + 6*s + 57 = 0. Let i be (4/a)/(6/152). Let o = i + 12. Do o and 0 have different values?
True
Suppose -5*s = -t + 339, 4*s + 4*t - 39 = -315. Which is smaller: -64 or s?
s
Let c = 10/55559 + -1024343/2611273. Let t = c - -5/47. Which is greater: 0 or t?
0
Let s(c) = c**3 + 7*c**2 + 11*c - 1. Let f be s(-5). Suppose 3*q + o - 3 = -23, 5*q + 35 = -2*o. Are f and q unequal?
True
Let h = -29 + 28. Which is smaller: h or 1/50?
h
Let i = 1213577/87 + -13949. Is i not equal to 0?
True
Let q = 276 - 9385/34. Let o(u) = -40*u**2 - 5*u - u + 39*u**2. Let m be o(-6). Is m >= q?
True
Suppose 5*p = 1 - 21. Let u be 2/p*(-8 + 6). Does -1/120 = u?
False
Let i = 446 + -460. Let n be (-2)/7 - (-220)/(-14). Which is smaller: n or i?
n
Let r be 5 + 1 + 130/5. Suppose -63 - r = -5*l. Which is smaller: -2/3 or l?
-2/3
Suppose -1639 - 615 = -14*b. Which is smaller: b or 160?
160
Suppose -2*f - 39 - 17 = 0. Let l be 368/(-1494) - f/126. Is 0 bigger than l?
True
Let w(p) = 2*p**2 + 68*p + 123. Let f be w(-32). Suppose 0 = 3*j + 14 + 1. Is j > f?
False
Let c(w) = -21*w**2 - 99*w + 4. Let x be c(-4). Which is smaller: x or 62?
62
Suppose 0 = 3*j - 2*j - 13. Suppose -2*r = j + 9. Let v be ((-22)/6)/((-2)/(-6)). Is r at least as big as v?
True
Suppose 3*q + 5*t + 23 = 0, 3*q - 4*t + 3*t - 1 = 0. Which is smaller: -3/151 or q?
q
Suppose 4*v + 112 = -2*w, 4*w + 5*v + 220 = v. Let i be w/40 - (-18)/30. Let p = -11/20 - i. Which is smaller: -4 or p?
-4
Let h be (-6)/((-2)/4*-1). Suppose 5*a = -5, 9*a + 13 = 4*v + 4*a. Suppose -24 = 4*b + n + 28, 0 = -v*n. Which is smaller: b or h?
b
Let b = 35 + -17. Let n = b - 10. Does n = 6?
False
Suppose -2*z - 2*u = z - 50, -2*z = -3*u - 29. Let c be (z/60)/((-1)/20). Is -5 less than or equal to c?
False
Suppose -2*x - 12 = -6*x. Suppose 4*t - 12 = x*p - 0*p, -p = 5*t + 4. Let m = 3 + p. Which is smaller: -4/9 or m?
m
Let y = -424 + 424.2. Is y bigger than 3/119?
True
Let a(t) = 3*t**2 + 3*t - 79. Let h be a(-7). Which is smaller: 50 or h?
h
Let l = 811.77 + -812. Is l > -9?
True
Let a = -137 - -108. Let r(x) = x - 29. Let q be r(0). Is q greater than or equal to a?
True
Suppose 0 = -45*d + 42*d + 24. Is d at most as big as 5?
False
Let q be (-45717)/13 + 12/3. Let h = q - -3515. Is 2/5 not equal to h?
True
Let l = -0.262 - -0.202. Are 0.13 and l equal?
False
Let k = 0.11 + 4.89. Let r = -145 - -144.9. Is k less than r?
False
Suppose 3*c + 397*x - 392*x - 99 = 0, 0 = x. Is 35 bigger than c?
True
Let f be 802/(-30) + 20/50. Which is greater: f or -27?
f
Let a = 271/5 - 2891/55. Let k be (1 + 2)*(-4)/(-6). Is k greater than a?
True
Suppose 6*q - 3*q = -3*s - 129, -q + 3*s - 51 = 0. Let j = -75 + 29. Which is smaller: q or j?
j
Let b(y) be the second derivative of -y**4/12 - y**3/6 - 7*y**2 - 11*y. Let t be b(0). Let d = -3 + t. Are d and -18 unequal?
True
Let n = 0.9 - -5.1. Let s = 13 - 17.5. Let r = s + n. Are 0 and r nonequal?
True
Let j = -3 - 3. Let r = 296.08 - 302. Let z = j - r. Do 1/3 and z have the same value?
False
Let p = 67 + -65.16. Let n = p - -0.16. Let m = -29 - -55/2. Which is greater: n or m?
n
Let w = 100 - 67. Suppose 15*g = 3 - w. Which is smaller: -8/15 or g?
g
Suppose 17*u - 32 = 25*u. Let s be u*19 + (2 - 2) + 2. Which is greater: s or -73?
-73
Let h be (26/91)/(6/(-21)). Let f = 90.61 + -91. Does f = h?
False
Let g = 0.829 + -0.079. Let z = g - 0.55. Is z smaller than 8?
True
Let u(h) = -h**2 + 15*h - 52. Let f be u(9). Is f <= 21/31?
False
Let r = -91/3 + 92/3. Which is greater: r or 2/79?
r
Let y(x) = -x**2 + 7*x + 8. Let m be y(8). Let p be ((-33)/1364)/((-3)/(-12)). Which is bigger: m or p?
m
Suppose 0 = 3*p - p - 448. Let u = p + -88. Let a be u/(-672) + (-4)/(-14). Which is bigger: a or -1?
a
Let u be 6/(-12)*22 - (-4 + 0). Which is bigger: u or 1?
1
Let m = -43 + 44. Suppose 4*y = -4*z + 3*z - 84, -2*y = 2*z + 48. Which is smaller: m or y?
y
Suppose -3*d - 3*j + 137 - 26 = 0, -3*d = -j - 91. Suppose -3*w - 2*h = -h - 22, 2*w + 5*h - d = 0. Is 6 greater than w?
False
Let c = -401 - -200. Which is bigger: -203 or c?
c
Let t be (-4 - 5) + 236 + (0 - 5). Is 222 at least t?
True
Suppose 25*s - 5*m + 35 = 0, 4*s - 7 = 2*m - 9. Let x(o) = -o**3 + 4*o**2 - 2*o. Let c be x(3). Suppose -8 = 5*k - c. Which is greater: k or s?
k
Let s(c) = 185*c**3 - 16*c**2 - 18*c - 1. Let h be s(-1). Is -0.2 > h?
True
Let p be 12/(-16) + (-47)/(-68). Let i = 30933 - 2629378/85. Let h = p - i. Is h at most -0.1?
False
Let p = 22 + -18. Let v be p/(-4) - -3 - -4. Suppose w + 2*j + 2*j = v, w + 2*j = 6. Is 4 smaller than w?
True
Let y be (0 - -2)*(-2 - -4). Suppose 24 = 2*b + 3*f, 3*b - 38 = -y*f - 4. Suppose 2 + 9 = -2*z - 5*s, 0 = 2*z + 3*s + 1. Does z = b?
False
Suppose -144*m = -127*m - 17. Is 0.1 at most m?
True
Let p = 432 - 869/2. Which is bigger: p or 2?
2
Suppose 0 = -f + 4*h - 36, -5*h = -3*f + 17 - 139. Which is greater: f or -302/7?
-302/7
Let z = -9 - -9. Let q = z + 1. Let s be (4 - 