075 + -7.125. Let i = -6 - a. Which is bigger: 0 or i?
i
Let v be -2 + 4/4 + -5. Let s be 3*(v/(-27) + 6/54). Is s greater than -2/11?
True
Suppose 0 = 5*t + 5*r - 105, 0*r - 99 = -5*t - 3*r. Suppose 7*z - 109 - 66 = 0. Let f = t - z. Which is greater: f or -6?
-6
Let f = -15 + -12. Let x be (-36)/126 + (-2)/(-7). Let r be (26 + -25)*(-26 - x/(-1)). Is r at least as big as f?
True
Suppose 0*t - 4*z = -2*t + 12, t = -2*z - 22. Let u(x) be the second derivative of -2*x**3 - 19*x**2 + x. Let o be u(t). Is 58 <= o?
True
Let z = -6077 - -6081. Are -4 and z nonequal?
True
Suppose 4*a - 1699 = -131. Suppose a = 25*m + 3*m. Is m at most as big as 40/3?
False
Suppose -2154 - 10586 = -26*k. Suppose -12*n - k = -2*n. Is n greater than or equal to -49?
True
Let f = 393.69 - 399. Let a = -5.4 - f. Let c = -0.09 - a. Which is smaller: 8/5 or c?
c
Let s = 0.033 + 2.457. Let a = s - 1.91. Let q = 0.3 + -0.4. Which is smaller: a or q?
q
Let r be 1378/(-15) - 21/(-30)*(-75)/(40950/104). Let p = 734/5 + -146. Is r at least p?
False
Let p(z) = -5*z**2 - 35*z + 37. Let i(u) = -4*u**2 - 37*u + 35. Let h(q) = 7*i(q) - 6*p(q). Let o be h(24). Is 16 less than or equal to o?
False
Let w be (-9)/27 - (-499652)/69. Which is greater: 7242 or w?
7242
Let p be (405*(-126)/297 + 4/(-22))*11. Which is smaller: -1894 or p?
-1894
Let v = -11128 - -14966. Is v >= 3836?
True
Let o be ((-6757)/20590)/(12/(-110)) + -6 + 3. Is o > -1?
True
Let h = 758 + -650.3. Let s = h - 147. Let g = 38 + s. Which is greater: 2 or g?
2
Let t = 15251 - 14808731/971. Which is bigger: t or 0?
0
Let j be (-46)/(-8) - 6/8. Let u(b) = -5 + 5*b - 4*b - b + j*b. Let o be u(-1). Which is smaller: -8 or o?
o
Let v be (1/(-2))/((-1)/86). Let g = v - 42. Let m be 40/20 - (g + -5)/(-2). Which is smaller: 1/14 or m?
m
Let b = -70 - -71. Let p be 57/76*(b - -91). Let o = p - 116. Which is smaller: o or -46?
o
Suppose -25 = -3*f - 3*r - 73, 0 = 3*f - 2*r + 28. Suppose 136*m + 952 + 408 = 0. Are m and f equal?
False
Let z be 1 - 12/8*-10. Let u(k) = -k**3 + 10*k**2 + 31*k - 67. Let a be u(12). Which is smaller: a or z?
z
Let h = 32.012 + -32.2. Let m = h + 0.288. Which is smaller: m or 18/19?
m
Suppose 10*s - 273 - 227 = 0. Suppose -16*j = s*j + 21714. Which is smaller: -328 or j?
j
Suppose -n + 60 = 2*n. Let v be 70/20*2 - -1167. Suppose -v + 334 = -42*b. Do n and b have different values?
False
Let a(b) = -b**3 + 5*b**2 - b + 6. Let i be a(5). Let d be 13 + -6 + -6 - -5. Let v be 1/15 - d/(-60). Which is bigger: v or i?
i
Suppose -3*r = -3*h + 19707, -5*r = -4*h + 2*h + 13159. Is h at least as big as 6563?
False
Let n = 3 + 37. Suppose 31*p - n*p = 18. Let i be (p/4)/(15/(-20)*2). Do i and -101 have the same value?
False
Let d = 50 - 41. Let u(f) = -f + 24. Let g be ((-2)/(-3))/(5/120). Let n be u(g). Which is smaller: d or n?
n
Let c = 4/65 - 48242/195. Which is bigger: -248 or c?
c
Let k = 2646 - 386317/146. Is k equal to 0?
False
Let m be 443/(-147) - -4*(-3)/(-4). Let l = m - 272/1617. Which is greater: l or -1/4?
l
Suppose 0 = -4*k - 4*x - 20040, -328*k - 15035 = -325*k + 2*x. Which is smaller: k or -5016?
-5016
Suppose -42 = -3*m + 4*g + 77, 0 = 3*m + 4*g - 127. Let o = m - 9. Let i be 2 + (-956)/14 - o/(-112). Is i less than or equal to -66?
True
Let u(y) = -y**3 + 21*y**2 + 27*y + 54. Let d be u(22). Which is smaller: 171 or d?
d
Let q = -14896.51 + 14806. Let p = q - -91. Let z be 30/120*112/(-98). Is p less than z?
False
Suppose 185 = -131*f + 136*f - 2*w, 0 = 2*f + 3*w - 93. Let i(j) = -2*j**3 - 4*j**2 + 6*j + 1. Let g be i(-4). Let r = g - f. Is r <= -2?
False
Let p = 22.16 + -78.17. Let y = 0.01 + p. Which is smaller: 2 or y?
y
Suppose 117*u + 450 = 115*u. Let r be 190/3 - u/135. Are r and 61 unequal?
True
Let l = -233484 - -220175436/943. Are l and 0 nonequal?
True
Let f = -7.6 - -7.6639. Let d = f + 32.9361. Which is smaller: d or -4?
-4
Let y be ((6 - 704)*-3 - 8) + -8. Which is smaller: 2077 or y?
2077
Let b be 3/(-12) + (-135)/4. Let o(j) = -18*j + 73. Let q be o(6). Is q < b?
True
Let d be 9*1*(6 - 5). Suppose -4*u + d = -u. Let y be u/(((-38)/1)/(-2)). Is -1 smaller than y?
True
Let l(y) = -115*y - 3207. Let w be l(-28). Let o = -13 - -7. Which is smaller: w or o?
o
Let p be 59*2*4*2/(-12). Let d = p + 64894/825. Is 1 > d?
True
Suppose 72 = 3*m - 2*f + 5*f, 2*f + 78 = 4*m. Let l be (m/(-24))/(46/(-8)). Is l not equal to 1?
True
Let p be (-36)/27*(2 + 4). Which is greater: 51 or p?
51
Suppose -14716 = 10*c - 3026. Are -1169 and c non-equal?
False
Let s(a) = -666*a - 2265. Let t be s(-4). Is t at most as big as -4?
False
Let q = 408 + -225. Let i = q + -221. Is i greater than or equal to -2/3?
False
Suppose 650*q - 675*q = 5300. Are -215 and q equal?
False
Let h = 2412 + -2412.08. Are 28 and h unequal?
True
Let n(w) = -w**3 + 27*w**2 + 33*w - 63. Suppose -7*b = -15*b + 224. Let d be n(b). Which is bigger: d or 78?
78
Let z be -5*(-2)/100 + ((-207)/(-30) - 7). Does 2/38235 = z?
False
Let u be 4/((5 + -3)/(-2))*(-47 + 35). Let j = 60 + -6. Which is bigger: j or u?
j
Let c = 93.4 - -63.1. Let n = 156 - c. Let a = -29/9 - -172/45. Which is smaller: n or a?
n
Let j = -475 - -1048. Let y = j - 579. Which is smaller: -10 or y?
-10
Let n be (-72)/48*(3 - 352/6 - -3). Is n greater than or equal to 71?
True
Let g be (-1)/((4/3)/(5 - (-154)/(-42))). Does g = -43?
False
Suppose 19*a = 17*a + 52. Let m be (7 + (-186)/30)*(-25)/(-10). Is m not equal to a?
True
Let g = -823700/13 - -63404. Which is bigger: 43 or g?
43
Let x(f) = 8*f + 4. Let b(g) = g. Let o(r) = -4*b(r) + x(r). Let s be o(2). Let t = -2437.2 - -2437. Which is smaller: s or t?
t
Let k be ((-30)/(-90))/((-2)/12). Let r be k/10*(-300)/990. Which is bigger: r or 0?
r
Let p = -9/137 - 615/3151. Let o be (-13360)/(-25) + 5/(25/(-2)). Let v = -535 + o. Is v <= p?
True
Suppose -40*j = 24*j - 5*j + 21240. Which is bigger: -365 or j?
j
Let m(b) = -8*b**2 + 32*b - 6. Suppose 0 = 9*g + 56 - 101. Let n be m(g). Is n at most -45?
True
Suppose -4*j = -7*j + 9. Let v = 48605 - 48667. Which is smaller: j or v?
v
Let h = 267208 + -3031474764/11345. Is h bigger than 1?
False
Let p(o) = 3*o**2 - 21*o - 6. Let a be p(7). Let l be -189 + 12/a + -1. Let m be 5 + l/20 + -5. Is -9 equal to m?
False
Let t = -9.1 - 70.9. Let i = t + -1. Let w = -80.9 - i. Is -19 bigger than w?
False
Let h(x) = -90*x - 2341. Let l be h(-26). Is -3/2584 smaller than l?
False
Let f(r) = -4*r**3 - 17 - 65*r - 12*r**3 - 8 + 15*r**3 + 35*r**2. Let a be f(33). Is -7 not equal to a?
True
Let u = 3743/9 + -414. Let x = 3326 + -3324. Is u < x?
True
Suppose 7 = 3*m + 1, -22 = -3*x + m. Let g be 15/40 - (-125)/x. Which is bigger: g or 9?
g
Suppose 0 = -2*o + o - 133. Let h = o - -93. Let m = h + 36. Is -2 at most m?
False
Let r = -62 + 66. Suppose r + 23 = 9*j. Suppose j*z - 2*m - 40 = 5*z, -2*z = -2*m + 36. Is z smaller than -17?
True
Let l(r) = -323*r + 564. Let v be l(-10). Is 3794 at least as big as v?
True
Let z be ((-13)/2)/(1/2 - 1). Let i = z - 22. Let m be (-3)/i*-14 + 0. Which is greater: -4 or m?
-4
Let o be (-8)/(-30)*10*(-1 - 2). Let t be 2*4 - (-5)/20*o. Suppose 1 + 11 = -t*k. Is k at most as big as -2?
True
Let j = -78 - 10. Let w be (-2 + 517)/(104/j). Let u = 436 + w. Is u bigger than 1?
False
Let r be (19/(-38))/((-1)/(-2)). Does r = -8/809?
False
Let t = -7336.6 - -7322. Is -9 less than or equal to t?
False
Let b = -338.6 - -40.6. Let g = 353 + b. Which is bigger: -2/3 or g?
g
Let v be (-2 + 0/3)/(-2). Let u be 0 - (v*-14 - -4). Suppose -g + 27 = -u*g. Is 1 > g?
True
Suppose 50*j - 76 = 31*j. Suppose j*h - 468 = 22*h. Which is bigger: -28 or h?
h
Let q be -7 - (5/4 - (-1190)/(-140)). Is -0.0254 <= q?
True
Let n = 68 + -47. Suppose 3*z + 13 - 4 = 0, 0 = -3*p + 5*z + n. Suppose 10 = -2*q + p*v, -5*v = 5*q - 3*q - 25. Which is bigger: q or 1/9?
1/9
Let t = 14 + -43. Let h = t + 29.056. Let p = h + 0.044. Which is smaller: -0.2 or p?
-0.2
Suppose -3*w - 483 = -5*y, -18*y - 2*w = -23*y + 482. Which is smaller: 98 or y?
y
Let v(z) = -z**3 - 67*z**2 - 312*z - 124. Let a be v(-62). Is a equal to 2/9373?
False
Suppose 4*a - 3*q - 1 = 0, 0*a = -a - 5*q + 6. Let p = 1249/28799 - 1/2787. Is p less than or equal to a?
True
Let k(m) = -358*m + 12174. Let x be k(34). Let p = 2/1277 - -2424