= q - 0.07. Which is smaller: v or b?
v
Let k = -2.9 - -2.426. Let h = -3.526 + k. Is h >= 3?
False
Suppose 0 = 424*l - 86*l + 1298258. Is l smaller than -3842?
False
Let o(z) = -6*z**3 + 28*z**2 + 186*z + 16. Let q be o(-6). Which is smaller: 1203 or q?
1203
Let k = 3029 + -3080.12. Let q = -0.88 + k. Which is greater: 3 or q?
3
Let x be (3/2)/((-3)/(-8)). Let r be -4 + x - -2*(-3553)/14. Let f = 509 + r. Is 1 > f?
False
Let n = -1862.821 - -1864. Let i = n + 0.001. Let z = 1.38 - i. Do z and 41 have the same value?
False
Let q = -7511 + 4972. Does q = -2539?
True
Let o = 3192 - 3025. Which is bigger: 1333/8 or o?
o
Suppose f + 3*z = 1, -12*f + 4*z = -14*f - 6. Are 263 and f equal?
False
Let f = -9 + 37. Let z = -16893 + 16915. Is f at most as big as z?
False
Suppose -6 = 2*q - 4*d, 4*q + 5*d - 25 - 2 = 0. Let u = -29 - q. Suppose 95 = -3*i - h, 0*h - 45 = 2*i - 3*h. Do i and u have the same value?
False
Let h = 243 - 129. Let k be (h/(-10))/((-12)/(-15) - 0). Which is smaller: 0.1 or k?
k
Let v = 11 + 33. Suppose 5*f + 6 + v = 0. Let n(x) = -x**3 - 9*x**2 + 17*x + 25. Let i be n(f). Is -45 > i?
False
Suppose -1386*x + 1360*x = 234. Is 11 > x?
True
Let c be (((-4)/8)/(2/10134))/6. Which is smaller: c or -423?
-423
Suppose 8*p - 4*p - 32 = 0. Let w be 168/44 - 2/(-11). Suppose -h + w*h - h = 0. Which is smaller: h or p?
h
Let i(g) = -2*g**2 + 17*g + 62. Let b be i(11). Suppose -p + 5*x + 28 = 0, 0*p - 2*x - b = p. Is 17 bigger than p?
True
Let g = 14 + -10. Let c = g - 2. Let l(m) = -2*m**3 - 66*m**2 + 468*m + 3. Let p be l(-39). Which is smaller: c or p?
c
Let q = -2580 - -2564. Which is smaller: q or -14?
q
Let d(f) = -f**2 - 11*f - 22. Let m be d(-7). Let g be m/(-18) + (1/3 - 0). Suppose -6*q - 13 + 1 = g. Which is greater: -1 or q?
-1
Let u = 1062460/129 - 8236. Which is smaller: u or -1?
-1
Let j be 1 + 1*2/(-2). Let d be (4*8/(-20))/(6/(-30)). Let m be (69/(-92))/(34/d). Is m smaller than j?
True
Let t = -88 - -102. Let x = 34 + -19. Let q = t - x. Which is smaller: 1/25 or q?
q
Suppose 7*j - 9*j + 332 = 0. Let i be (-564)/(-47)*(-41)/(-3). Which is smaller: j or i?
i
Let g = -21157 - -169257/8. Which is smaller: g or -1907?
-1907
Suppose -7*o + 3*o + 112 = 0. Let d(c) = 358*c + 1103. Let m be d(-3). Are m and o unequal?
True
Let m be 8/(-13)*(-8)/(-24). Let x be 6 - -3 - (-6 + 15). Is m at least x?
False
Suppose -69 = 25*v + 5031. Is v at most -199?
True
Suppose -2*n + 3*a = -1, 29 - 34 = n + 4*a. Is 62/853 > n?
True
Let h(d) = -d**3 - 103*d**2 - 110*d - 815. Let z be h(-102). Which is greater: z or -124/383?
z
Suppose -4*c + 8*c + b - 136 = 0, 0 = b + 4. Which is bigger: 51 or c?
51
Let d = 4767/17 - 561/2. Let s(u) = u**2 - 8*u - 10. Let k be s(9). Which is smaller: k or d?
k
Let b be (-5)/30*(8 - (2 - -6)). Suppose -194 + 46 = 4*p. Let h be 1/2 + p/34. Which is bigger: b or h?
b
Let x(s) = 3*s - 20. Let q be x(8). Suppose 23*p = q*p. Is 1/918 less than p?
False
Let b be ((-3)/(-4))/(2/8). Suppose -3*y - b*j = -27, 0*y - 18 = -5*y + 4*j. Let m be (-53)/3 + y/9. Which is bigger: -19 or m?
m
Suppose 15*g = 28*g - 5382. Let c be (g/(-45))/(0 - (-3)/15). Which is smaller: -137/3 or c?
c
Let s be (-254)/(-408) - 6/9. Suppose 0 = q + 4*q + 2*u + 42 - 47, 0 = -5*u. Which is smaller: q or s?
s
Let d = -4.5 + 16.5. Let p = d + -30. Let h = p + 17.6. Is h greater than -0.4?
False
Let o = 572452230/3541 - 161664. Is o > -1?
True
Let o(a) = 4*a + 16. Let x be o(-11). Suppose 0 = -7*k + 2*k - 4*p - 108, 5*k + 132 = 4*p. Let b be -4*3/(k/(-58)). Which is smaller: x or b?
b
Let x = -432715/5009058 - -109/1263. Is 0 at most as big as x?
False
Let k = -9.856 - -8.856. Let i = -3.4 - -14.6. Let p = i - 11. Which is greater: k or p?
p
Let b be (4/(-24)*-3)/(((-29)/(-96))/(-1)). Is b <= -2?
False
Suppose -3565 = 24*w - 29*w. Suppose -10*a - 3053 = -w. Is -233 greater than a?
True
Suppose 0 = -2*i + 5*u - 145, -79 = 5*i + 3*u + 237. Let v be (2/i)/((-12)/(-75)). Let n = 289 - 288. Which is smaller: n or v?
v
Let o be 1/(15/100925) + (-6)/18. Which is greater: -0.1 or o?
o
Let q = 256/27 - -3025/54. Let c = -621001/28 + 22113. Let x = c + q. Which is smaller: x or 0?
x
Let f = -411.503 - -411.5. Which is greater: -10 or f?
f
Suppose -3*y + 288 = 3*f, 0 = 2*f - y - 41 - 154. Is 97 greater than f?
False
Suppose -400 = -24*p - 30*p + 14*p. Are -37 and p unequal?
True
Suppose -22*b = -25*b - 105. Let x be (-28)/b*(-20)/(-8). Suppose -2*c - 5*p = 2*c - 17, 0 = 5*c - 3*p - 12. Is c bigger than x?
True
Let w(j) = -j**2 - 50*j + 105. Let u be w(-52). Is u smaller than -1/3267?
False
Let p = 102 + -205/2. Let h = -13 - 3. Let f = -16 - h. Which is greater: f or p?
f
Let q = -12726/19 - -670. Suppose -2*f = -4*f. Suppose -4*i + 8 - 4 = f. Is q bigger than i?
False
Suppose -4*b + 2*b = 2*s - 756, -s + 378 = -b. Suppose 7*m + s = 16*m. Which is smaller: 44 or m?
m
Let m = 72 - -52. Let a = -168.2 + -23.8. Let u = a + m. Are 0.1 and u non-equal?
True
Let d be -33 - -14 - (7/(-1) - 2). Let c(m) = 8*m + 4. Let x be c(-2). Which is bigger: d or x?
d
Suppose 6*m + 5*d = m, 3*d = -15. Suppose -z - 4*z + m = 0. Let j be (-22)/96 + (-14)/(-56). Which is greater: z or j?
z
Let f = 16624/3 + -5617. Let v = f + 75. Let d = -271.2 - -271.32. Which is smaller: v or d?
v
Suppose y = 2*z + 1, -21*y + 173 = 4*z + 12*y. Let h(a) = -a + 1. Let w be h(7). Let v be (12/(-9))/(w/7). Which is smaller: z or v?
v
Let f be (1 + (-112)/32)*(-3)/(-15). Is 79/7 < f?
False
Let o(k) = k**3 - 18*k**2 - 18*k + 42. Let q be o(18). Let t = -281 - q. Let d be ((-4)/(-33))/(130/(-15)). Which is greater: t or d?
t
Suppose -3*w - 2*z + 24 = 2*z, 0 = -w + 3*z - 5. Suppose -4*g = -4, 0 = w*k + 3*g + 77 + 80. Do k and -42 have the same value?
False
Let v(i) = -i**2 + 6*i - 2. Let d be v(7). Let c be ((-16)/6)/(d/81). Let l = c - 23. Which is bigger: 1/2 or l?
l
Let y = -519 + 562. Suppose -y = -4*d + 33. Which is greater: d or 22?
22
Let p = -3 - -2. Let n = 226705620 + -1579911468746/6969. Let s = 28/69 + n. Is s bigger than p?
True
Let s = 2/13616785 + 57412807/33069335. Let f = -60510/187 + 3540/11. Let j = s + f. Which is smaller: j or 1?
j
Suppose 5*n + 5 = -0*n. Let g be (8/6 + n)/(176/(-6270)). Which is smaller: -11 or g?
g
Let l be -9 - (-17 - -11 - 2). Is -16/503 less than l?
False
Let a be ((-52)/8*-3)/((-3)/372). Which is smaller: a or -2419?
-2419
Suppose -2093 = -24*b + 2875. Is b bigger than 207?
False
Let v be 13 + 0 - (-2671 + 2684). Let y be 27/4*(-2)/(-111). Is v <= y?
True
Let r = -9026 - -9091. Let q be (-781)/(-5) + (-1)/5. Let l = 221 - q. Is l at most r?
True
Let o = -15.7 + 20. Let x = o + -5.8. Let t = 2.5 + x. Which is greater: t or -3?
t
Let b be (-35782)/(-95504) - (((-78)/(-16))/13)/1. Which is greater: b or 0?
0
Let g(w) = w**2 - w - 6. Let y be g(3). Let q(n) = -4*n - 4. Let x be q(y). Let l(i) = i**3 + 6*i**2 + 9*i + 5. Let a be l(x). Is a != 2/33?
True
Let j(d) = -2*d**2 + 96*d + 100. Let r be j(50). Let k be ((-4)/(-2))/(508/r + 5). Let v = 14 + -37. Which is smaller: k or v?
k
Let z be 66/(-100) + -6*(-2)/120. Are -1 and z non-equal?
True
Suppose -227*x - 9006 = -233*x. Does 1502 = x?
False
Let p = 5430 - 5433. Which is smaller: -99/52 or p?
p
Let n(d) = d**2 - 8*d + 15. Let h be n(5). Let c = -0.25 + 0.01. Let z = 21.76 - c. Is h not equal to z?
True
Suppose 97 = -3*h + f, -2*h + f - 39 = 24. Which is bigger: h or -16?
-16
Suppose 2*m - 7*f + 11*f = -4754, 4*m - 2*f + 9518 = 0. Is m at most -2378?
True
Let a be ((-10)/4 + 1)*-11. Let w be 9/30 - (-4106)/(-20). Let k = w - -223. Which is smaller: a or k?
a
Let q = 0.637 - 316.637. Let a = q + 316.118. Which is smaller: 0 or a?
0
Let z(u) = 8*u + 1. Let l = -6 + 7. Let d be z(l). Let j be 4*6/72*18. Which is greater: j or d?
d
Let z = -1183 + 1050. Suppose 405 = -3*u - 3*w, 5*u + 4*w = -56 - 616. Is u bigger than z?
True
Let p = -8.45 + 521.45. Let r = -513 + p. Is r <= 19?
True
Suppose -27*s - 64 = 37*s. Which is bigger: 2/12823 or s?
2/12823
Suppose -5*z - 12 = 3*i - 118, 56 = 3*z - 2*i. Let y be 52/z - (-2)/20. Suppose -4*b = -16 + 4. Is b at least as big as y?
True
Let n be 724182/55704 - (-8)/(80/(-130)). Which is smaller: n or -1?
-1
Suppose 2*g = -12, 4*q - 6*q + 3*g + 20 = 0. Is q smaller than 5/343?
False
Supp