k
Let d = 1.9 + -1.8. Let z = -1.39 + -0.01. Which is smaller: z or d?
z
Suppose 0 = 4*t + 9 - 101. Which is smaller: t or 22?
22
Let c = -4978316/957 - -5202. Is c <= 0?
True
Let h(c) = -6*c - 1. Let u be h(4). Let i = 255 + -130. Suppose 4*z = 0, -z + 0*z = 5*l + i. Is u smaller than l?
False
Let y = 1532/273 + 13/21. Is 7 greater than y?
True
Suppose 25*y = 16*y + 36. Which is smaller: y or 110/23?
y
Let o = 1/1181 + -178334/3543. Let g = -1993/39 - o. Which is smaller: -2 or g?
-2
Let y = -747 + 718. Which is smaller: 8 or y?
y
Suppose -3*c - a - 12 = 2*a, -12 = 3*c - 4*a. Let t be (-1)/4*c*132. Let u = t - 658/5. Which is greater: -1 or u?
u
Suppose -3*m + 5*o - 67 = -0*o, 4*m + 2*o = -124. Let y = m + 22. Which is greater: y or -8?
y
Let j be ((-20)/80)/((3 + -2)/1). Is j smaller than 395?
True
Let q be (-23)/69*(-1 + 4). Is q greater than or equal to 1/225?
False
Suppose -27*t - 96 = -31*t. Suppose -t = -3*r - r. Are r and 6 nonequal?
False
Let a(j) = -3*j + 4. Let y be a(4). Let f be 2/y + 1/4. Let v = -692/1533 + 26/73. Do v and f have different values?
True
Suppose -h - 2 = -2*r + 5, 0 = r + h + 1. Let z be ((-528)/133 - -4)/r. Which is bigger: z or -1?
z
Let c = 1251 - 1418. Is -169 bigger than c?
False
Suppose -2*h - h = 6. Let b be 9/(-27)*(254/118 + h). Is 1 >= b?
True
Let s be (-5)/(-15)*3*-1. Let o be (1/(-2))/(302/60 - 5). Which is bigger: s or o?
s
Let m(x) = -25*x + 25. Let u be m(1). Which is bigger: 0.07 or u?
0.07
Let t be (0 - -12)/(-2) + (-10668)/(-1651). Is 14 bigger than t?
True
Let m be 18/(-8)*(164 + -32). Let v = 205 + m. Is v greater than or equal to -93?
True
Suppose 15*m - 235 = 245. Let d = 81 - 48. Is d greater than m?
True
Let z = -489 - -652. Which is smaller: z or 167?
z
Let q be (-714)/(-4)*(-85)/425. Do q and -35 have the same value?
False
Suppose -94*d + 97*d + 60 = 0. Let y = 175 - 74. Suppose 2*b + y = 2*p - 7*p, 2*b + 6 = 0. Is d at least as big as p?
False
Suppose -3*n + 31 = -5*u, -n + u + 15 = 6. Let c = -24 + -97. Let d = c + 129. Is n >= d?
False
Let f(k) = k**3 - 6*k**2 + 2*k - 7. Let i be f(6). Suppose -5*l + 6*l = i. Do l and 4 have different values?
True
Let x(g) be the second derivative of -g**3/3 + 7*g**2/2 + 21*g. Let v be x(7). Are v and -4 non-equal?
True
Suppose 24 = 5*z + 79. Let c be 4/14 - 205/7. Let j = c + 20. Which is smaller: j or z?
z
Let r be (4/(-60)*-3)/(1/5). Let n be -2 - -5 - 122/(-2). Let x be (-6)/39 - n/(-78). Is r >= x?
True
Suppose -4 = -s + 4*p - p, 6 = s - 5*p. Suppose z - 290 = -4*a - 4*z, 5*a - 346 = 2*z. Let i be (8/a)/((-42)/15). Are s and i non-equal?
True
Let k(w) = w**2 + 16*w + 17. Let g be k(-15). Let a be g/10*4389/(-7). Let z = -125 - a. Is z greater than or equal to 5?
False
Let j = -47.6 + 2.6. Let x = j + 3. Is 0.1 greater than x?
True
Let q = -13 - -19. Suppose 0 = 3*b + 12, -5*t - 3*b + q*b + 62 = 0. Let n be (2*3)/((-20)/t). Is n >= -4?
True
Suppose -4*i = 3*m - 20, -m + 2*i - 20 = -2*i. Suppose m = -7*t + t + 60. Suppose -3*y + t = -5*y. Which is bigger: y or -7?
y
Let u(g) = -g**2 + 7*g - 8. Let f be u(11). Let d be 0 + (-2 - f/28). Is d less than 0.7?
True
Let d be 4/(-6) + 608/(-96). Which is greater: d or 8?
8
Suppose -12*j + 848 = -484. Suppose 5*m + 106 - j = 0. Is 18/13 >= m?
True
Let b be 1*(0 + (-1 - -2)). Suppose 3*z + 2 + 7 = 0. Let o be 2/(-7)*z/2. Is o >= b?
False
Suppose -3*q = t - 13, -t + q - 3 = -2*t. Suppose 2*a = -a + 6. Let d be t + a + 2/(-52). Which is bigger: d or -1?
d
Let d = 11077/20 + -554. Let z = -65 + 64. Is d <= z?
False
Let c = 392.921 + -393. Which is greater: c or -1?
c
Let g = 2826 + -2827. Is g at least -2464?
True
Let y(q) = -q**2 + 6*q - 4. Let h be y(4). Suppose 0*l + h*l + 4 = 0. Which is greater: -1/16 or l?
-1/16
Let d be -1*2*(-3)/(-2). Let q be 1 - (12/(-6) + 2). Let b be q/(d*(-3)/9). Is b equal to 6/11?
False
Let n(v) = v**2 - 27*v + 67. Let a be n(25). Let z be (-1)/(2/32) + -1. Let g = a + z. Is g smaller than -1?
False
Suppose 3*g + 2*d = 1 - 16, -20 = 4*g - 2*d. Which is smaller: g or -7/2?
g
Let i(b) = -b**3 + 7*b**2 - 16. Let g be i(7). Let y be (-1)/(g/(-4)) - 2/(-8). Which is greater: y or -3/4?
y
Suppose -k = -5*k - 92. Which is greater: k or 22?
22
Let g = -252 - -252.4. Which is smaller: g or 29?
g
Let l = 14.65 + 0.35. Let p = 17 - l. Let u = -7 - p. Which is bigger: u or -2/3?
-2/3
Suppose -4*a = -3*a + 9. Let b be (-3)/((81/24)/a). Let g = 11 - b. Which is greater: g or 0.3?
g
Let p = -9564 - -9668.09. Let o = 104 - p. Are o and 0.2 unequal?
True
Let k = -22476/25825 + -10/1033. Which is bigger: 0 or k?
0
Let v be (340/(-40))/((-3)/(-6)). Let t = -9 - 8. Is t at least v?
True
Let w = -7.5 - -7. Let h = -0.4 - w. Suppose 0 = 5*f + 15, -f - f - 16 = -5*g. Which is smaller: h or g?
h
Suppose 0*p = 5*z - p - 127, -4*p + 90 = 3*z. Is 26 less than or equal to z?
True
Let a(o) be the second derivative of 0 - o + 2*o**2 + 1/6*o**3. Let t be a(-4). Is 1 > t?
True
Suppose 2*n - 7*n = -4*m - 15, 0 = -2*n - 2*m + 6. Suppose n = -4*h - 29. Which is bigger: h or 0.1?
0.1
Let g be (8/(-68))/(11/132). Which is smaller: g or -1?
g
Let g = 180 - 73. Let v = g + -107.2. Are v and 3.5 equal?
False
Let n = -279/2 + 141. Which is smaller: n or 10?
n
Suppose 0 = 2*z - 3*h + 25, 0*z = z - h + 11. Let m(u) = -u**2 + u + 2. Suppose a = -0*a + 4. Let y be m(a). Are y and z nonequal?
True
Suppose 0 = -3*z + 4 + 8. Let w(d) = 2*d**2 - 4*d - 4. Let y be w(z). Let n = 1 - -12. Is y <= n?
True
Let b = -6 - -27. Suppose -2*j + 0*j + 38 = -2*i, 4*i - 64 = -3*j. Which is smaller: j or b?
j
Let l be (-1*(-2)/2272)/(251/(-1506)). Which is greater: l or 0?
0
Suppose -2*q + 0*q - d = -13, 5*q + 4*d - 37 = 0. Suppose -q*g = -4*x + x - 3, 0 = 3*x + 3*g + 27. Let r be -4*(2 + 9/x). Is -1 bigger than r?
True
Let q be (-14)/3*7/(14/3). Let w be ((28/(-6))/q)/(6/(-9)). Which is bigger: -3 or w?
w
Let l = -53 + 36. Is -21 at most as big as l?
True
Let n be ((-17600)/77)/10 + (-2)/14. Are 1 and n equal?
False
Let i(k) = k**3 + 7*k**2 + 3. Let t be i(-7). Suppose t*m - 3*f = 3, m = 2*f - 3*f - 7. Let v(a) = a**3 + 6*a**2 - 6*a + 9. Let h be v(-7). Is h at most m?
False
Let n = 3 - 3. Suppose m + 2*d + d + 7 = n, 5*m + 4*d = 9. Suppose -5*r + 56 = 2*z - m*z, 0 = -r - z + 16. Is r bigger than 13?
False
Let h = -3/2707 - 100129/27070. Let d = 16/5 + h. Which is smaller: d or 82?
d
Suppose -26 = -4*t - x + 2*x, t + 3*x = 0. Which is greater: t or 8?
8
Let i(a) = 397*a**2 + 1. Let r be i(-1). Suppose 5*q = 4*g + 988, -2*q + 0*g = -3*g - r. Let m = 1374/7 - q. Are m and 0 nonequal?
True
Let f = -298 - -268. Which is smaller: f or 2/5?
f
Let q = 14.83 + 0.17. Let s = -974 + 3895/4. Are s and q equal?
False
Let y be ((-260)/104)/((-20)/24). Let q(m) = -m + 0*m - m. Let f be q(-1). Is f at most as big as y?
True
Let y = 426.056 + -424. Let k = -0.056 + y. Is k > -1?
True
Let f = 167/1785 - 2/255. Let c = -3 - -4. Is c less than or equal to f?
False
Suppose -p - 29 = -5*u, 0*u = 3*u - 15. Suppose 0 = 3*x + 9, 3*x + 5 = 8*g - 7*g. Is p less than g?
False
Let n = 44 - 42.15. Let u = n - -0.15. Let x = -3.3 - 0.7. Is u at most x?
False
Let k(a) = -a - 2*a + 4*a - 6. Let m be k(6). Is 2/17 smaller than m?
False
Let d = 2.6 + -31.6. Let l = 27 + d. Are -10 and l unequal?
True
Let k = -122.041 + 122. Let b = -0.141 - k. Do 1.1 and b have different values?
True
Suppose 5*g + 5*j - 10 = 0, 0*g + 5*g - j = 10. Suppose -4*k = 2*b - 82, k = -b + g + 20. Is 19 less than or equal to k?
True
Let d(x) = x**3 + 6*x**2 - 8*x - 7. Let k be d(-7). Which is greater: k or -23?
k
Suppose -5*x - 2*o - 2*o + 37 = 0, x - 2*o = -1. Let f = 5 - x. Let t(y) = y**2 + 8*y + 4. Let c be t(-8). Do f and c have the same value?
False
Let k be 36/(7 + -13) + 1*1003. Does 998 = k?
False
Suppose -2*u = -22 + 20. Are 3/106 and u unequal?
True
Suppose -13*o + 8 = -21*o. Let b(g) = -2 - 6*g + 3*g + 0*g. Let j be b(o). Are j and -3/7 non-equal?
True
Suppose 0 = -9*l - 155 + 164. Which is smaller: l or -1/1971?
-1/1971
Suppose -24 - 96 = -5*x - 5*l, 5*l = x - 36. Let t be x/(-156) + 3/16. Do t and 0 have different values?
True
Let p(c) = -c - 2. Let v be p(2). Let s = 24 + -11. Let n = s + v. Is n bigger than 10?
False
Suppose 3*d = 2*n + 715, -12*d + 1439 = -4*n - 15*d. Is n not eq