m. Is z smaller than l?
False
Let u be -27*26/(-117)*498/(-9). Is u not equal to -371?
True
Let j be (-4*(-2524)/56)/2. Let l = j - 90. Let w = 0.25 + -0.19. Is l smaller than w?
False
Let f(g) = 100*g + 2901. Let y be f(-29). Which is smaller: -941 or y?
-941
Let c = 51 - 51.38. Let w = c + 0.48. Which is smaller: w or -1/2?
-1/2
Suppose -3*s + 5*w - 12 = 7, s - 7 = -w. Suppose 16 = -5*o - 3*u, 5*o - 3*u + 31 + 3 = 0. Let y be o/70 + (-33)/(-21) + -1. Are y and s equal?
False
Let v be (-10*22/4)/(-1). Let c be v/25*5/(-4). Let j be 6 + -12 + 0 + 3. Is j greater than or equal to c?
False
Let j be ((-4)/10)/((68/850)/(1/(-5))). Is 75/148 at most j?
True
Let y = -1/43956 - 263723/571428. Let u = -0.07 + -0.01. Is u at least as big as y?
True
Suppose 11*n - 98 = 4*n. Let d be (-218)/n + (-44)/(-77). Let t be (d/(-3) - 3)/((-2)/(-9)). Which is smaller: 0 or t?
0
Let j = 35753 + -13764897/385. Which is smaller: 2 or j?
j
Let a = -81/40 - -21/10. Let t be 26/5 - 2/((-8)/(-20)). Let k = a - t. Which is greater: 0 or k?
0
Let o = 0.0538 - 345.0538. Which is smaller: -6 or o?
o
Let x be (-3 - 25)/7 + (6 - 1116). Is x < -1115?
False
Let i be 2 + (-3)/4 + (-2632)/32. Is -900/11 at least as big as i?
False
Suppose 16*d - 7291 = -7387. Which is smaller: d or -131/20?
-131/20
Let r = -311 - -563. Let o = r + -251. Which is smaller: -47 or o?
-47
Let o = -6.3 + -40.7. Let l = 47.48 - 0.98. Let h = o + l. Which is smaller: -0.3 or h?
h
Suppose 10*d - 15*d - 10 = 0. Let b be ((-24)/2920)/(d/20). Is 1 > b?
True
Let w = 960 + -162. Let p = w + -799. Which is greater: -4/103 or p?
-4/103
Suppose -14*f + 288 = -3380. Let y = f + -229. Is y smaller than 31?
False
Suppose 2*s + 4*c - 1424 = 0, 2*s - 689 = 3*c + 700. Is 699 not equal to s?
True
Let b = 406 + -16631/41. Suppose 28*w + 59 = -31*w. Is w at most as big as b?
True
Let j = -0.14 - -0.36. Let p = 3.9039 - -0.0961. Which is smaller: p or j?
j
Let f = -7480 + 22444/3. Is f less than or equal to 376?
True
Suppose -10 = -2*v, -5*r - 5 = -v - 4*v. Let p = -1 + r. Suppose -d + 5635 = 5636, -2*d = 3*t + 8. Do p and t have the same value?
False
Let c be (-5)/2 + 27 + 1649/(-68). Is c < 0.1991?
False
Let z be (9804/215)/((-3)/50). Do z and -760 have different values?
False
Let v(b) = 159*b + b**2 + b**2 - 278*b - 2 + 161*b. Let a be v(-21). Is -7/5 less than a?
False
Let f be (-4)/8 + 99/174. Let m be (517/110 + -5)/(-2 - (-85)/20). Which is bigger: m or f?
f
Let k = -16887 + 18912. Are k and 2023 equal?
False
Let f(t) = -t + 5. Let x be (-5 + (-7)/(-14))/((-2)/(-4)). Let w be f(x). Let q be 1 - (w/(-5) - 18/(-6)). Is 0.6 greater than q?
False
Let g be (-1 - -1)/((-123)/41). Suppose g*v - 93 = -v. Is v > 92?
True
Let d be (-27)/2*(-6)/(-9). Suppose -4*w = 2*q + 98, 0 = 4*w - 1 + 5. Let v = q - -41. Which is smaller: d or v?
d
Suppose -3*w + 3*r + 5455 = -4526, 0 = -2*r - 10. Which is smaller: w or 3319?
3319
Suppose -s - 331 = -5*a, -70 = a - 2*a + 4*s. Let p = -63 + a. Suppose -p*k - 4*v + 16 - 4 = 0, 0 = k - 2*v + 6. Is -1/4 less than or equal to k?
True
Let c = 1/32164 - 80699479/96492. Do -836 and c have the same value?
False
Let q(i) = -35*i**2 + 17*i + 353. Let x be q(-10). Which is smaller: x or -3318?
-3318
Let t be 11/((-88)/40) - (-13)/1. Is 180/23 equal to t?
False
Suppose 140 = 4*q + 4*f, -q + 159 = 3*f + 108. Are -1/173 and q non-equal?
True
Let t = 1/2478 - 17071/826. Suppose -5*f - 121 = 4*m, 298*m + 146 = -6*f + 293*m. Which is greater: t or f?
t
Let p = -4447 + 4453. Suppose -6 = -2*t - 2*r, 5*t - r = -3*r. Let s(d) = -d**3 - 3*d**2 - 2*d + 2. Let u be s(t). Is p at most u?
False
Let z = 21205 + -21189. Which is greater: -23.9 or z?
z
Suppose 0 = -g - 2*f + 3446, -18*g + 17216 = -13*g - 4*f. Is g not equal to 3444?
False
Let k be (-1988)/(-36) + (-4)/18. Is k > 57?
False
Let d be (-690)/207*(-1)/10. Are 5865 and d nonequal?
True
Let o = 9 - 6. Let k be (-2)/12*(15 - o)/3. Let v(z) = z**2 + 5*z - 6. Let n be v(-6). Which is smaller: k or n?
k
Let j = -44 - -48. Let r(h) = -j - h**2 - 7*h + 6 - 3*h + 7*h. Let s be r(-4). Is s at most as big as -8/5?
True
Let n(w) = w**3 + 15*w**2 + 27*w + 17. Let j be n(-13). Suppose 3 = -7*l - j. Suppose -o + 2 = 0, 5*y + 5 = -4*o - 32. Is y != l?
True
Let p be 0 - 2 - 5/(-2). Suppose 0 = 20*i - 1996 - 464. Suppose 136*g = i*g + 91. Which is smaller: g or p?
p
Let f = -62 - -66. Let l be ((-5)/(-2))/(f/(-48)*3). Which is greater: -13 or l?
l
Suppose -a + 2*a = -3*j + 4, -j + 3*a + 18 = 0. Let r be (4/(24/(-3)))/(j/144). Let g be (-2 - (-66)/31)*(-18)/r. Is g bigger than -1?
True
Let q be (-2047)/(-380) - 16/(-160) - 4. Let v = q - 284269/191292. Does v = 0?
False
Suppose 68*x - 1110 - 3582 = 0. Which is smaller: x or 174?
x
Let h = 0.09 - -0.31. Let w = 441 - 437. Suppose -7*d + 5*d - 4*f - 28 = 0, -w*f = 3*d + 44. Does d = h?
False
Suppose -13*x + 395 + 14914 = 8*x. Which is greater: 3649/5 or x?
3649/5
Let r be ((-637)/(-451) - 1) + (-270)/5535. Let a(t) = -t**3 - t + 2. Let b be a(0). Let y be (-7)/(-5) - b/5. Which is greater: y or r?
y
Let t = -14891 - -10121. Is t less than -4770?
False
Let l be (-162256)/(-38) + (-4 - (-624)/152). Suppose 23*d - 537 = l. Which is smaller: -1 or d?
-1
Let g(m) = 0*m**2 - 429*m + 2 + 425*m - m**3 + 9*m**2. Let i be g(6). Let o = i - 112. Which is smaller: -25 or o?
o
Let c be (-41834)/60 + (-6)/12 - 6/(-15). Is -696 at most c?
False
Suppose 42 = -3*j + 5*j. Let x = 26 - j. Suppose 4*i - 8 = -s, -x*i + 7 = -s - 4*i. Is s equal to -4?
True
Let v be 2/2*(37 + -35 + -35). Which is greater: -779/23 or v?
v
Let z be (-136)/(-102)*(-3)/2. Let s = -19 + 21. Is z equal to s?
False
Suppose -351 = 4*i + 9*i. Let p = i - -21. Which is greater: -33/7 or p?
-33/7
Suppose -f = -2*a - 12, -a + 35 = 5*f - 14. Let d be (-175)/(-10) - (f/(-4) + 2). Suppose 14*g + 24 = -d. Which is greater: -3/4 or g?
-3/4
Let f(m) = 57*m - 193. Let n be f(3). Which is smaller: n or -316/15?
n
Let h be (-2 + 10/6)/(-1). Let v = 10596 - 21187/2. Is h at least v?
False
Suppose 3*a - 5*a - 3*h - 5 = 0, 2*a + 4*h + 14 = 0. Which is smaller: 187/19 or a?
187/19
Let l be 65/3 + -1 + (-7)/(-21). Let v be 8/(-5)*((-14725)/(-38))/(-31). Is l bigger than v?
True
Let p(s) = s**3 + 10*s**2 - 3*s - 9. Let t be p(-10). Suppose -3*b - t = -2*v + 60, -3 = -v. Let n = b + 26. Is 9/4 >= n?
True
Let r be 4 - (-2)/(-1) - (-5)/((-10)/2). Let y(m) = 2*m + 8. Let d be y(-6). Let a be (0/r)/(d + 2). Is -2 greater than a?
False
Let t(i) = -109*i**2 - 522*i + 6. Let c be t(-3). Are 591 and c equal?
True
Let v = -1087 - -1086.6. Which is smaller: v or 5.6?
v
Let n = -2.398 + 137.398. Let l = 95 + 39. Let x = l - n. Which is greater: 39 or x?
39
Let m(s) = -4*s + 5. Let k be m(1). Let j be (k/(-18))/((-1)/309). Let q = -22981/1338 + j. Which is smaller: q or -1?
-1
Let r = 2192 - 2163. Is 46 less than r?
False
Let t be 1/(-5)*4 + (-2541)/(-3270). Which is greater: -1 or t?
t
Let y(i) = -2*i**2 - 3*i + 3. Suppose -5*r = 2*c - 4, -c - 6 = -3*r + 3. Let g be y(c). Let a be -3*11*1/6. Which is smaller: g or a?
g
Let t(a) = -a + 22. Let h be t(5). Suppose -j = -2*s + 2*j + 9, -s + h = -4*j. Suppose 9 + 3 = 4*m, r + 4*m = 8. Is r greater than s?
False
Suppose -18*n - 200 = -23*n. Let p = n - 40. Suppose p = 4*g + 4*t, -g + 4*t + 3 = 2*t. Which is smaller: 0 or g?
0
Let i = -6090 + 6090. Is 16075 >= i?
True
Let t be (-15)/(-5) + (3 - -10). Let q be 8/t - 13*(-1)/(-14). Do -37 and q have the same value?
False
Let c = -89 + 90. Which is smaller: c or -2/2885?
-2/2885
Let x(c) = c**3 + 5*c**2 - 2*c - 11. Let u be -2*1 - 10/((-30)/(-9)). Let h be x(u). Let g = 50/7 + -1492/203. Is h bigger than g?
False
Suppose 2*d + 3048 = 8*d. Suppose 30*z - 3238 = -d. Is z smaller than 95?
True
Let r = -10.449 + 0.049. Let y = -113.6 + r. Is -2/3 at least y?
True
Let v(w) = -2*w**3 - 38*w**2 + 8*w - 40. Let t be v(-19). Let c = -190 - t. Which is bigger: 35 or c?
35
Let k = -14036 + 13663. Is -372 at most as big as k?
False
Suppose 3*u = -3*f - 24, 2*u - 3*f - 1 - 3 = 0. Let q be (-1)/5 - u/20. Let i = 92212/13 + -7092. Which is smaller: q or i?
q
Let c(l) = 59*l + 68. Let f be c(-1). Do -133 and f have different values?
True
Let z(x) = -8*x - 7. Let f be z(5). Suppose 3*n - 4*c + 4 = 0, -5*n - 18 = -2*c + c. Le