s smaller: 0.1 or g?
g
Suppose -4*j + 110 = -5*z - 326, -2*j - 160 = 2*z. Which is bigger: -95 or z?
z
Suppose 34*m + 11*m + 16022 = -12778. Which is smaller: m or -626?
m
Let p(c) = -518*c - 2. Let z(j) = -519*j - 1. Let d(w) = 4*p(w) - 3*z(w). Let t be d(-2). Let l be t/(-670) - (-3)/2. Is l less than or equal to 1?
True
Suppose 3*p = -s - 111, -679 = 4*s - 2*p - 221. Which is greater: s or 18?
18
Let h = 4196.53 + -4192. Which is greater: 0.1 or h?
h
Suppose 112*w - 96*w - 48 = 0. Suppose -4*q + 2*q = 0. Let f be (4/3 + q)*3. Is f != w?
True
Let i be 1/(-4) + (-1)/((-3860)/925). Let l(a) be the third derivative of a**5/60 - 5*a**4/24 + 5*a**3/6 - 17*a**2. Let p be l(2). Is p <= i?
True
Suppose -5*x = 3*y - 6*y - 21, -5*x + 11 = 2*y. Suppose -j + 2*k - 3 = 4, -x*j = k. Is 9/133 greater than or equal to j?
True
Let a = -0.871 + 0.935. Let c = -34.936 - a. Are c and 1/4 non-equal?
True
Let r be 8/10 + 8/100*(-1 + -9). Is r at least as big as -2/11265?
True
Let t = -577.9 + 647. Let q = 69 - t. Are 68 and q nonequal?
True
Let f = -258 + 268. Suppose f*q = 6*q. Which is smaller: q or 45/8?
q
Let p = -130 - -72. Let t = 1/69796 - 34899/69796. Which is greater: p or t?
t
Let t be 3*4/(-8)*(3 + 35886/(-11970)). Which is smaller: t or 1?
t
Suppose -s = 2*p + 98, 2*s = -3*p + 1 - 147. Which is bigger: p or -67?
p
Let w = 2807/10 - 250243/890. Let v = -9292/19313 - w. Is -1 at most v?
True
Let h be (-40)/189 - 506/6831 - (-3420)/(-35). Suppose 2*k + 388 = -4*m, 0*m = -4*m - 4*k - 388. Which is greater: m or h?
m
Let r = -0.5857 - 0.1773. Let y = -0.73 - r. Let z = -0.167 - y. Is -1/15 not equal to z?
True
Suppose -2*o + 4 = -0*o, 3*p = -4*o + 116. Suppose p = -s - 2*s. Which is greater: -13 or s?
s
Let f = -468 + 529.5. Let d = -62 + f. Is d at least 14?
False
Suppose -b = -4*p - 14, -3 - 2 = p. Let d = 12 + b. Suppose 0 = -4*m + 3*y - 0 + 12, -9 = -3*m - 5*y. Is d > m?
True
Suppose g + 2 = 4*r, 68*r = 66*r + 4*g + 22. Which is greater: -23.98 or r?
r
Suppose 4 = 2*v - 6. Suppose v*i = 4*l + 49, -7 = i - 4. Let z be (4 - (-76)/l) + 35/4. Is 1 smaller than z?
True
Let t be (-22)/77 + (0 - 123/(-357)). Suppose -5*h + 0 = 25, i + 5 = -3*h. Let u = i + -9. Is u <= t?
False
Let p = 0.82 + 0.28. Let c = 45.1 + -44. Let u = c - p. Which is greater: u or -27?
u
Let w be 5/1 - (-20320)/(-4953). Which is bigger: 1 or w?
1
Let n(c) = -c**2 - 7*c + 7. Let f be n(-8). Let t(y) = y**2 + 241*y + 19. Let p be t(0). Let a be (p - 16)*1/f. Is -3 smaller than a?
False
Let z(a) = -a**2 + 78*a + 170. Let l be z(80). Is -13 >= l?
False
Let f = -877 - -491. Let o = 359 + f. Let w(g) = 2*g**3 + 2*g**2 - 4*g - 2. Let t be w(-3). Do t and o have the same value?
False
Let f be (4/2)/((-264)/22 + 8). Let z be 92/(-32) + 3/1. Is f less than z?
True
Let x = -20440 - -102279/5. Is x at most -1?
False
Suppose 17*c = 11*c - 2076. Let y be c/(-6) + (-37)/(-111). Suppose -3*d + 0*d - 301 = -5*l, 0 = 4*l + 2*d - 232. Are y and l unequal?
True
Let u = -0.0087 - -661.0087. Let k = -661.2 + u. Is k greater than 52?
False
Let h = -2427 - -2524. Which is smaller: h or 107?
h
Let c = 92.524 - 1.624. Let a = c - 89. Does a = 4?
False
Suppose -12*k - 5919 = -18339. Let o be (-7291)/k - (-8 - -1). Which is smaller: o or -1?
-1
Let q be (-8 - 917/(-21) - 3)*-3. Let d be (-2 + 196)/(-2 - 0). Do q and d have the same value?
False
Let i(c) = 6*c + 4. Let t be i(-5). Let d = 270 - 244. Let n = t + d. Is n less than 14?
True
Suppose 0 = 8*o - 163 - 205. Suppose -v - o = 4*t, -5*t - 196 = 5*v - 41. Which is smaller: v or -30?
-30
Let u be ((-2125)/5 - 6)/2. Let y = u - -74. Which is smaller: y or -143?
-143
Let a(o) = -2*o**2 - 312*o - 1888. Let t be a(-6). Which is smaller: t or -893/10?
-893/10
Let n = -27.9 - -87.9. Let t = n - 97. Let d = 0.3 - 0.3. Which is smaller: t or d?
t
Let x = -12422 + 12422.96. Which is bigger: x or -0.27?
x
Let m(g) = -g**2 + 4*g - 24. Let j be m(6). Let a be (5/34)/(18/j). Which is greater: a or 0?
0
Let y(o) = 895*o + 17595. Let r be y(-22). Which is bigger: -2097 or r?
r
Let y(o) = o**3 - 2*o**2 + o. Let z be 1 - -1 - (-16 - (2 - -1)). Suppose 5*u + 31 = z. Let v be y(u). Which is greater: -16 or v?
-16
Suppose 12*l + 44 + 4 = 0. Let t be (-2)/(-8)*97*(-2 - l). Which is smaller: 49 or t?
t
Let y(x) = -1263*x**3 + 2*x**2 + 449*x - 450. Let p be y(1). Which is smaller: -1252 or p?
p
Let m = -572 + 92. Let u be m/(-1190) - (-2)/(-17). Is u >= -0.07?
True
Let p = -73/12 - -403/36. Let o = -451/90 + p. Which is smaller: o or 0.09?
0.09
Suppose 329 = -3*u - d, 0 = 2*u - 3*d + 116 + 118. Is u at least as big as -107?
False
Let s(j) = -7*j - 65. Let u be s(-10). Let x(v) = 2*v**3 - 9*v**2 + 33*v - 28. Let z be x(u). Is z at least 161?
True
Let b = 24.6 - 22.6. Let j = 85 + -81. Suppose s = 3*t + 26, 9*s = 5*t + j*s + 40. Which is greater: b or t?
b
Let l = 21540 - 41715/2. Which is smaller: 684 or l?
l
Let s be (-2*1507613/(-4))/((-3)/(-60)). Let x be ((-5)/70)/(255/s). Let k = 4223 + x. Is -1 at most as big as k?
True
Let f = -57.2 - -57.3. Let l = 108 - 46. Which is bigger: f or l?
l
Suppose -4*j - 52 = -4*i, 2*i = -2*j - 139 + 117. Is -138/11 >= j?
False
Let i = -17489 - -17489. Is 3/4015 greater than i?
True
Let h be (1278/7829738)/((-15)/(-35)). Which is smaller: h or 0?
0
Let p = 182 - 92. Let l be 150/p*-3*1. Which is greater: 2/91 or l?
2/91
Let r = -79 + 184. Suppose r = 7*u - 7. Suppose 3*n = 3*z + 29 + u, -35 = 5*z + 3*n. Is -11 less than z?
True
Let m be (2/(-14) - (-23 + 31)/(-56))/(-3). Let b = 306397/67 - 4573. Is b equal to m?
False
Let v be (-2)/4 + 1510/4. Suppose 192*m + 15782 = -377*m + 229726. Which is greater: m or v?
v
Let t = 71.84 - 0.84. Let v = -0.3556 + 70.3556. Let s = v - t. Which is smaller: s or 0.3?
s
Let p = -31191/5 + 557351964/89345. Are -1 and p equal?
False
Let f be (1 - 14/10)*-5. Suppose 5*q = f*q - 15. Suppose -48 = 261*v - 253*v. Which is bigger: q or v?
q
Let v = 48 + -28. Suppose -6*g = -14 + v. Which is bigger: g or 3/73?
3/73
Let f = -130171/2279 + 2237/43. Which is bigger: -4 or f?
-4
Let a be -18 - ((-22661)/34)/43. Which is smaller: a or 58?
a
Let c = 141.8 + 44. Let a = 186 - c. Which is bigger: a or 36?
36
Let u(r) = 6 - 8*r + 2*r**3 + 3*r**3 - 4*r**3 - r**2 - 1. Let p be u(3). Are -32/17 and p equal?
False
Let z be ((-94734)/(-9) + 3)/(-247) + (-10)/(-65). Which is greater: -41 or z?
-41
Let q be -1 + 3 + (0 - 0). Suppose 4*b - 5*h - 17 = 44, -2*b + q*h = -28. Let m = 138259 + -138261. Is m greater than b?
False
Let q be (39852/120)/(1 + -2). Is q != -332?
True
Let n(s) = s - 2 - 2*s + 24*s + 32. Let l be n(9). Let v = -7349/31 + l. Does v = -0.1?
False
Let j be (16 + (-155)/10)*118. Let w = 120 + -60. Which is smaller: w or j?
j
Let p = 643 + -582.7. Let w = 1673 + -1615. Let f = w - p. Is f not equal to -2/5?
True
Suppose -4*z - 137 = 4*i - 13, 4*i - 32 = 2*z. Let a be -1 + -3*z/75. Let c be 16/320 - 703/(-740). Is c >= a?
True
Let x = -8454 - -8463. Is -9/8 <= x?
True
Suppose -4*o = -2*z + 3952, -3*o + 4*z - 2140 - 824 = 0. Let x be o/2028 + (-2)/(-13). Is -184 at least x?
False
Suppose 0 = l + 2*t + 8, -2*t - 43 = 2*l - 33. Do -49 and l have different values?
True
Let k(g) = g**2 + 28 + 8*g + 5 - 2 + 4. Let q be k(-9). Is q less than or equal to 41?
False
Let g be (1 + 160/(-120))/((-1)/(-12)*2). Is g less than or equal to -108/155?
True
Let h = -887.7 - -564.7. Is -3/4 less than h?
False
Suppose 2 = 3*j + 11. Let b = 53936/5 - 10791. Which is bigger: b or j?
j
Let i(p) = -21*p**3 + 5*p**2 - 14*p + 38. Let l be i(3). Are -529 and l nonequal?
True
Let p = 5064 + -4972. Which is greater: 79 or p?
p
Suppose 12*d + 6 = -4*i + 9*d, -2*d + 7 = -i. Which is bigger: -90/41 or i?
-90/41
Let w(a) = 4*a + 60. Suppose 0 = -9*b - 159 + 24. Let g be w(b). Let r be -3 - (-302*(-2)/(-148) - -1). Is g bigger than r?
False
Suppose -26128 = 8*f - 14312. Are -3/10 and f non-equal?
True
Let l(y) = -13*y - 8. Suppose 13*u + 36 + 107 = 0. Let h be l(u). Is h != 135?
False
Suppose -2*r - 545 + 62 = f, -4*r + 1980 = -4*f. Let k = 343 + f. Do -149 and k have different values?
True
Let k = 12823 - 52425/4. Let j = -280 - k. Does j = 3/7?
False
Let c = -8995 - -8376. Which is smaller: c or -2/3?
c
Let j = -1 + 4. Let o = 2428 + -2402. Suppose -