 than v?
True
Let a be (5/(-172))/(2/56). Let j = -40113/430 + a. Let f = j + 94. Is f smaller than -0.1?
False
Let i = -0.9 - -0.2. Let b = 0.3704 - -166.5296. Let s = 167 - b. Is s bigger than i?
True
Let n(z) = 15*z + 18 - 15*z**2 + 3*z**3 + 2*z - 6*z**3 + 2*z**3. Let h be n(-16). Let m be 2/4*h - 126/15. Which is smaller: m or -7?
m
Let t = -77019187/17 - -4532001. Let c = t + -1461. Are -1 and c equal?
False
Let v(c) = -c**2 - 2*c + 28. Let m be v(0). Let u be 14/m - (-1)/(-2). Let i = 3172 + -371122/117. Which is smaller: u or i?
u
Let j(g) = -71*g**3 + 20*g**2 - 18*g + 24. Let u be j(4). Which is smaller: -4271 or u?
u
Suppose 0 = -4*p + o + 846, 2*p - o + 0 = 424. Let k = -210 + p. Is k at least -8/55?
True
Let b(f) = f**2 + 6*f + 8. Let l be b(-6). Suppose -2*v + n + 183 = -v, 5*v + n = 927. Let d = v + -176. Is d smaller than l?
False
Suppose q - 85 = 4*x, 4*q - q = x + 211. Let p = q + -64. Suppose -3*w - 303 + 114 = 3*h, 283 = -p*h + 3*w. Which is bigger: -58 or h?
-58
Let d = -733 - -737. Which is smaller: d or 209?
d
Suppose -35 = -5*k - 2*g, -3*g + 40 = 6*k - k. Let j be 3*(2/5*k)/3. Which is greater: j or 48?
48
Suppose -o + 719 = -61. Which is greater: 778 or o?
o
Let x = 273 - 274.1. Let n = 1.1 + x. Which is smaller: n or -9.4?
-9.4
Let u = 6870 + -3144. Which is greater: 3725 or u?
u
Let w = -14916 + 13747. Which is greater: w or 2?
2
Suppose 126 = -67*k - 75. Let t(h) = -h**3 + h**2 - h + 154. Let b be t(0). Let n be (b/21)/((-10)/6). Which is bigger: k or n?
k
Suppose -i - 2*s - 46 = 0, -3825*s + 160 = -5*i - 3821*s. Let o = -2 + 2. Let k(x) = x**3 - x**2 - x - 37. Let b be k(o). Is b at least i?
False
Let s = 356.6 - 362. Let t = -0.02 + 4.02. Do s and t have the same value?
False
Suppose -3*b + 4*s + 18 = 0, b + 24 = 5*s + 30. Suppose -17*y = -18*y - 4*g + 12, -3*y - b = -2*g. Are 2/49 and y equal?
False
Suppose 5*b = n + 7, -29 = -n + b - 2*b. Which is greater: -34 or n?
n
Suppose -21*u + 353 = 500. Suppose -6*d - 6 = -5*d. Is d less than or equal to u?
False
Let t = 53544 - 1660042/31. Is t equal to -7?
False
Let m(p) = 19*p + 180. Let y(r) = 9*r + 90. Let q(f) = 3*m(f) - 7*y(f). Let t be q(-14). Is 2/43 smaller than t?
False
Let h(b) = 89 - 49 - 45 + 5*b**2 - 2*b**3 + 14*b - 13*b. Let y(u) = -u**3 - 2*u**2 - u + 1. Let x be y(-2). Let g be h(x). Is g at least as big as -47/4?
True
Suppose -7 + 14 = -c. Let u = c + 15. Suppose 0 = -3*p + 5 - u. Which is smaller: p or -2/37?
p
Let i(x) = -x**3 - 9*x**2 - x - 19. Let d be i(-9). Let v be ((-22)/4 + 5)*d. Let a be ((-13)/v)/((-12)/(-20)). Which is smaller: -5 or a?
-5
Let m be (12/(-886))/(-3)*-1. Let o = -1050 + 1049. Does m = o?
False
Let s = -13877 + 6413. Which is smaller: -1 or s?
s
Suppose 400*s - 377*s = 621. Is 531/19 <= s?
False
Let i = -775.3 + 283.5. Let k = i + 492. Which is smaller: k or 27?
k
Let u = 82.49 - 82.69. Let c be ((-2)/9)/(16/2). Which is smaller: c or u?
u
Suppose 2046 = 10*y + 2116. Let d(t) = t**2 + 12*t + 4. Let r(a) = a. Let x(m) = -d(m) + 6*r(m). Let v be x(-5). Is y equal to v?
False
Let q = -0.1473 + 0.0373. Let g = 373 + -374.042. Let n = -0.042 - g. Which is smaller: n or q?
q
Let v = -7525/3 + 15011/6. Is v < -6?
True
Suppose -3*l = -l. Suppose l = -8*n + 3*n. Suppose n = -3*q - 40 - 23. Is -19 bigger than q?
True
Let v be (21/2 + -5)*(-2)/(-11). Which is smaller: -3/634 or v?
-3/634
Let w = -8 - 4. Let l = 0 - w. Let z be l/66 + 32/66. Is 0 smaller than z?
True
Suppose -47 = 4*t - 4*p + 261, -t - 92 = 4*p. Let r = t - -87. Suppose 15 = -r*i + 12*i. Is 1 greater than or equal to i?
False
Let z = -52809 + 31427. Is z at least as big as -21381?
False
Suppose 0 = -106*g + 119*g + 39. Which is smaller: g or -23?
-23
Let o = -28.48 - -15.676. Let p = o - -0.804. Which is greater: p or -0.04?
-0.04
Suppose 12 = 66*j - 62*j. Suppose -4*g - 5 = j*y + 4, 4*g - 3 = y. Is g equal to 2/167?
False
Let n = 13 - 10. Suppose 2*f = i + 4*f - 216, -n*f + 211 = i. Suppose 0 = 5*s + p + i, -2*s + 6*s + 4*p + 168 = 0. Which is bigger: -48 or s?
s
Let j = -798 - -414. Let x = -699 - j. Which is smaller: x or -2/3?
x
Let f = -12.47 + 12.67. Is -71 at most as big as f?
True
Suppose -87742 + 34822 = -140*s. Which is greater: s or 380?
380
Let w(f) = -5*f**2 + 89*f - 61. Let i be w(25). Is -965 smaller than i?
True
Suppose -4*r = 4*x - 20, -22*r = -23*r + 2*x - 10. Is r >= -74/177?
True
Let q be (-2 - 478/(-236))/(45/(-5248095)). Let f = 2965 + q. Is f < -1?
False
Let u be (-306)/(-4)*40/(-15). Let f = 234 + u. Which is smaller: 29 or f?
29
Let p be (75/(-20) - -5)/((-1)/(-4)). Let m(q) = -p + 3 + 13 - 5*q + 3*q. Let i be m(5). Which is greater: -1.1 or i?
i
Let k = 3 - 0. Let p = 9041 + -171701/19. Which is smaller: k or p?
k
Let m(b) = -b - 3. Let r be m(-2). Let j = -1379/30 - -46. Let k = j - 23/240. Is k at least r?
True
Let p = -4/159829 - 613240/1041925251. Are 1 and p non-equal?
True
Suppose -6*k + 7*k = -18. Let t = -21 - k. Let o be t/330*40/16. Which is smaller: o or -1/4?
-1/4
Suppose -8378 = -z - y, -2 + 6 = 2*y. Let v be 3/(3726/z) + (-2)/9. Let o = v - 1348/207. Which is smaller: -1 or o?
-1
Suppose -3*y = -4*y - 19. Let x = 1.36 + -1.43. Is y >= x?
False
Let b(g) = -34*g**3 - 4*g**2 - 45*g - 114. Let j be b(-3). Is 899 at most as big as j?
True
Suppose 0 = 100*d + 53*d - 24*d + 4515. Which is smaller: d or -42?
-42
Let x be 0 + -6 + 19/((-485450)/(-153360)). Are x and -1 nonequal?
True
Let g(x) = x**3 - 8*x**2 + 5*x - 5. Let s be (-10)/(-21)*9 + (-8)/28. Let k be g(s). Is -49 at most k?
True
Suppose -17*r = -8*r - 1152. Let n = 430 - r. Which is smaller: n or 301?
301
Suppose -35 = 89*g - 82*g. Let p be 3/(g/(-5)*-643). Which is greater: p or -1?
p
Let i be (5766/(-155))/(-3 + (-3)/(-3)). Which is bigger: i or -3/4?
i
Let b = -5289 - -5887. Is b < 600?
True
Let n = 30.26 - 23.63. Let g = -32 + 25.4. Let u = n + g. Which is smaller: u or 1/2?
u
Let a = 0.37 - 633.37. Let j = 634 + a. Is -192 > j?
False
Let b(v) = -47*v - 690. Let w be b(-23). Is w equal to 391?
True
Let h(t) = -13*t + 119. Let x be h(-21). Let b be 1 + (-1984)/x - -2*2. Is b < 0?
True
Let s = 44.3 + -23.3. Which is smaller: 8 or s?
8
Let t be (-1 - (-18)/22) + (-61883)/(-1254). Let l = -1733/30 + t. Do -10 and l have the same value?
False
Suppose 319*p + 187 - 2101 = 290*p. Which is bigger: 63 or p?
p
Let a = -15 + 15. Suppose 3*h + h - 92 = a. Let p(f) = -25*f**3 + f**2 - 11*f - 12. Let w be p(-1). Is w at least h?
True
Suppose 240 = 7*z - z. Suppose -5*m + z = -5*p, 0 = 5*p - p + 5*m + 23. Which is bigger: p or -5?
-5
Let w be (-9)/6 + (-44)/(-8). Let m be -3 + 1 + w + 0. Suppose 0 = -v - 5 - 0, 0 = 5*y - m*v + 125. Which is smaller: -26 or y?
y
Let p = -3473.2 - -3471.2. Which is smaller: 1222 or p?
p
Let k = 1980 + -2005. Which is smaller: -16 or k?
k
Let w(n) = 2*n + 32. Let m be w(-15). Suppose -a + 215 = -2*g, 557 = -5*g - m*a - 2*a. Do g and -109 have the same value?
True
Let t = 3.885 - -0.015. Let p = -2.8 + t. Let w = -2.1 + p. Is 3 bigger than w?
True
Suppose 13*z - 730 = -236. Let d be (z/114)/((-2)/6). Which is smaller: 5/23 or d?
d
Let a = 25571.002 + -25484. Let t = -87 + a. Let g = t + 2.998. Is -0.02 less than g?
True
Let o = -186 + 198. Suppose 3*j - j + o = 0. Suppose 0 = -3*v - 2*v + 5. Which is bigger: v or j?
v
Let w(p) = -6*p**3 + 72*p**2 - 2*p + 20. Let b be w(12). Which is greater: -201/50 or b?
b
Let d be (152/16 - 2)/((-3)/52). Let m = -309 - d. Is m greater than -179?
False
Suppose 42*f + 246 = f. Do -164/23 and f have different values?
True
Let a(p) = 3*p + 182. Suppose 9*f = -149 - 175. Let n be a(f). Are n and 73 equal?
False
Suppose 3*x = 3*o + 27, 0 = -5*x + 10*x + 3*o - 21. Suppose 3*i + 4*t - 28 = 0, -t - 12 = i - 5*t. Is x equal to i?
False
Let y be (4/(-14))/(-4 - (-81)/21). Suppose c + 3 = 2*p, 0 = 4*p + p + y*c - 3. Do 0.014 and p have the same value?
False
Let l(n) = 17*n + 157. Let p(z) = -8*z - 79. Let o(m) = -4*l(m) - 9*p(m). Let y be o(-21). Which is smaller: y or 12?
y
Let x be (-3)/(-5)*(-7 + 39/9). Is -1 less than or equal to x?
False
Suppose 0 = -x - 2*n - 435 - 2059, -28 = -4*n. Which is bigger: x or -2509?
x
Let g(m) = 50*m**2 + 7*m + 7. Let c be g(4). Let q = c - 1715. Let p be (q/(-27))/8 - 4. Which is bigger: -1 or p?
p
L