-1
Suppose -7*x - 15154 = -6*x - 2*v, -5*x = -4*v + 75770. Is -15153 > x?
True
Let t(m) = -359*m - 3230. Let b be t(-9). Is 8428 at most b?
False
Let m(l) = l**3 + 8*l**2 - 28*l + 7. Let d be m(7). Which is smaller: 547 or d?
d
Let q be 5 - (68/8 - 5). Suppose -k + 2*t = -3*k, -3*t = -3*k + 18. Suppose -15 = k*p, 22 = 2*x - 3*p + 5. Which is smaller: x or q?
x
Let r be (-124)/(-264) + (-2)/6. Suppose 4*f - 84 = f. Let n be (-4)/f - -2*(-1)/(-14). Which is smaller: n or r?
n
Let k = 971 + -934. Suppose -28*f + k*f = -378. Which is smaller: -35 or f?
f
Let o(r) = -8*r + 91. Let g be o(11). Suppose 13*k = 8*k + n + 14, -2*n - 14 = -g*k. Is 7 bigger than k?
True
Suppose 2*p = -6, n - 282 = -3*p - p. Is 258 at least as big as n?
False
Suppose -5*d = -8*d - 3*o - 9, -o = -5*d + 15. Which is smaller: 29/30 or d?
29/30
Let a(c) = -8*c - 10. Let l be a(-2). Let u be (13 - 14) + 256/l. Which is greater: u or 42?
42
Let a(y) = 989*y - 3004. Let o be a(3). Let z = -1845/7 - -4786/21. Which is bigger: o or z?
z
Let c be 6/(-57) - 306/342. Is 19/248 smaller than c?
False
Let c = -5.37 + 5.6. Let g = -0.38 + c. Let y = g + -33.85. Which is smaller: 1 or y?
y
Let d = 12515 + -13249. Which is greater: -0.5 or d?
-0.5
Let h be -5 + -1 + (-1488)/(-31). Let l be -4 + (h/195 - 8/(-20)). Which is bigger: -4 or l?
l
Let j(p) = -p**2 - 12*p - 18. Let s be j(-10). Suppose 16 = -2*b - s*z, -3*z = -4*b + 2*z - 5. Which is smaller: -18 or b?
-18
Let h be (-280)/1680 + (-38309)/42. Is h less than or equal to -911?
True
Let l = 11 + -16. Let p(n) = 21*n - 21. Let x be p(2). Let m be ((-56)/x - 3) + 2/3. Are l and m unequal?
False
Let q be 73 + -2 - (-5)/(-1). Let l be (q/4)/11*(-2)/(-3). Is 3 < l?
False
Suppose 5*i - 98 = -4*w, -3*i - 8*w + 50 = -10*w. Let n be 0 + 25/9 + 4/i. Let k be -3 + 34/10 + 3. Does n = k?
False
Let q(w) = -53*w + 80. Let x be q(-15). Which is smaller: 0.1 or x?
0.1
Let z = -1147 + 187. Let l be 23/(3910/z) + 4. Does l = -1?
False
Let b = -4/2247 - -31918/258405. Let d = -6123/230 + b. Do -28 and d have the same value?
False
Let g = 941 + -990.7. Let h = -0.3 + g. Let n = 0.0182 + 0.9818. Which is greater: n or h?
n
Let l be ((-4)/(-12))/(5/300). Let i be (-20)/16 + 1385/l. Let p = i - 35. Is p != 34?
True
Let r = 27355 + -27160. Does 199 = r?
False
Let b(i) = 12 + 43*i**3 - 20*i**3 - 12*i**3 - 10*i**3 - 13*i**2 + 42*i. Let o be b(7). Which is greater: 8 or o?
o
Suppose 17 = -m + 2*m + 2*x, 5*m + x - 40 = 0. Suppose 7*n = d + 8*n - m, d = 4*n - 18. Which is greater: 7 or d?
7
Let k be (-3063)/4*(247/(-57) - -7). Is 0.3 > k?
True
Let l(o) = -3*o - 4. Let h be l(-6). Let f be h/(-28) - (1 + -2). Let x(m) = m**3 - 5*m**2 - 6*m. Let d be x(6). Do f and d have different values?
True
Let s be 752/(-282)*(-90)/(-501). Which is smaller: -1 or s?
-1
Let m be (48/72)/(4/(-186)). Let j = -23.6 - -27. Let n = -2.4 + j. Which is greater: n or m?
n
Suppose -2*d = 3*c - 365, 4*d + d - 935 = -3*c. Suppose -8 = 4*m, m + 0 = 4*y - d. Which is bigger: y or 46?
y
Let w be 4/8 - ((-14)/4 + 0). Let z be (-446)/(-450) - w - -3. Which is smaller: z or 1?
z
Let m be ((-16)/40)/(4/(-40)). Suppose 2 = 2*l, 2*g - m*g + 28 = 4*l. Is 24 <= g?
False
Let p(c) = c**2 - 15*c + 9. Let o be p(6). Let i be ((-8)/(-20))/((-1)/o). Suppose -40 = -2*y - 4*l, 6 = -2*y - 2*l + 42. Are i and y equal?
False
Let s be 2849/(-4) - (13 - 36/4). Which is greater: -716 or s?
-716
Let z be 3 - (2 + (-21)/(-12)). Suppose -11*s = -12*s + 5. Suppose 4*d + s*d + 9 = 0. Is z bigger than d?
True
Let a = 0.032 - -30.968. Let k = 56 - a. Let b = k + -21. Is b equal to -1/3?
False
Let a = 1.667 - -1.333. Is a greater than 1298?
False
Let w be 24/(-2)*(6/3)/(-2). Let x be (-453)/15 - w/3. Is -33 <= x?
False
Let w = -7164 + 2820. Which is smaller: w or -4343?
w
Suppose 4*k + 4*s = 42 - 18, -k - 3*s + 22 = 0. Are -129/253 and k unequal?
True
Let s be -46*24/3762*(-6)/4. Let n = s - -2/19. Does n = -19?
False
Let y be ((-1098)/5)/(-1) + (-32)/(-80). Let z be -2 + (1024/y)/2. Which is greater: 0 or z?
z
Let h = -46.01 - -46.23. Which is greater: h or -4.4?
h
Let g(q) = 6*q**3 - 3*q**2 + 5*q - 3. Let y be g(1). Suppose -4*n + 3*m = 262, y*n + m = -153 - 165. Let z = -64 - n. Which is bigger: -1.6 or z?
z
Let z = -3425 + 3420. Which is greater: z or -128/27?
-128/27
Let f = 852084889/228 + -3737221. Let u = f - -77/12. Is u at most -1?
False
Let j(n) = n**2 + 12*n + 33. Let z be j(-8). Let p = -23083/198 + 11410/99. Let d = -31/33 - p. Is d less than or equal to z?
True
Suppose -3*v = -3*h - 72, 1 = -2*h - 4*v - 23. Suppose 35 = 2*a - 0*o + 3*o, -4*o + 34 = 2*a. Let w be ((-42)/4)/(a/38). Which is bigger: h or w?
h
Let x = -143.6 + 159. Let b = 15 - x. Let w = -11 - -11.01. Which is smaller: b or w?
b
Suppose 3975 = -0*j - 4*j + 3*w, 0 = 2*j - w + 1985. Let a be 8/12 + (-130660)/132. Let k = a - j. Is k at least as big as 1?
False
Let u = -99 - -147. Let n = -47 + u. Let w be n/(-7)*3 + 2223/91. Is w equal to 24?
True
Let v be ((-756)/152 - -5)/(33/(-108)). Let s = 8528/103873 + v. Are 0 and s unequal?
True
Let d = -5 + 4. Suppose 0 = -49*o + 41*o - 16. Let h be 0/(-4 + o)*-1. Which is smaller: d or h?
d
Suppose -300 = u - 8*u + 120. Which is bigger: u or -22?
u
Suppose 156*d = 313*d - 165*d. Which is smaller: -7/444 or d?
-7/444
Let x(f) = 178*f**2 - 524*f + 3682. Let t be x(7). Which is smaller: t or 8738?
t
Let p = -19.6403 + -0.3597. Let v = 35 + -12. Let i = v + p. Which is greater: 0 or i?
i
Let a = -225 + 385. Let x = -4721/4 - -1180. Is a at most as big as x?
False
Let o = 3/14 - -7/2. Let u = -648 - -651. Is o greater than u?
True
Let q = 906.3999 + -0.3999. Is 6 > q?
False
Suppose -2*q + 164 = 5*k, -q + 4*k + 51 = -5. Suppose 2*w = 4*v - 13 - 23, 3*w + 3*v + q = 0. Are w and -18 unequal?
True
Let a be (-19)/(171/48)*(-3)/(-2). Let j(d) = -d**3 - 6*d**2 + 16*d + 38. Let u be j(a). Which is bigger: 2/5 or u?
u
Suppose d - 7*d + 30 = 0. Suppose -8 = -4*c, -d*z + z - 3*c + 26 = 0. Suppose 7 = -t + 5*h, z*h - 41 + 10 = -2*t. Is -0.2 at least as big as t?
False
Let u be 119/174 + 2/(-3). Let c be 1890/(19 + -10) - -10. Let h be -18 + c/15 - (-7)/3. Is u bigger than h?
True
Let l = 196 + -206. Let c = 17.1 + l. Which is bigger: -0.2 or c?
c
Suppose 117 = 5*z + 142, x + 2*z = -1138. Is x > -1130?
True
Let z = 21329 + -21155. Do 158 and z have the same value?
False
Let g = 20101/391 - 418/23. Is g bigger than -1?
True
Suppose 16 - 229 = -183*h - 30. Is h greater than 57/148?
True
Suppose -109*v - 223*v + 4316 = 0. Let m = 49/64 - -7111/576. Do v and m have different values?
True
Let g = 57/245 - 42894/200165. Is g bigger than 0?
True
Let s(j) = 4*j - 3. Let h = 81 + -46. Let z = -34 + h. Let f be s(z). Which is bigger: f or 2/3?
f
Let v(d) = -45*d + 123. Let b be v(0). Let w be -7 + 8 + (-129)/b. Suppose 3*q - 4 = -1. Is q at least as big as w?
True
Let p = -1394/55 + 40067/715. Which is smaller: p or 30?
30
Suppose 24*g - 23 - 27 + 2 = 0. Which is smaller: g or 102/67?
102/67
Let l = -184 + 29. Let g = -64 - l. Let n be 42/(-104) + 14/g. Is n at most as big as -4.1?
False
Let r(q) = q**3 + 2*q**2 + 2*q - 40. Let a be 4/(-6) + 3/(45/10). Let k be r(a). Let j = 48 + k. Is j != 25/3?
True
Let i = -7925741/816 + 9713. Let r = i + -7/68. Is r smaller than 0?
True
Let n(q) = 32 - 19 - 4*q - 12. Let u be n(0). Suppose x = k + u, 5*k + 53 = -5*x + 18. Is k >= -4?
True
Let m be (-9)/(-6) - (-1815)/10. Let i = 187 - m. Are -1 and i nonequal?
True
Suppose -14*g + 4*v = -9*g + 14, -g + 2*v = 4. Let l(t) = 24*t + 26. Let x be l(-6). Let y = x + 3777/32. Is g smaller than y?
True
Let b(a) = -3*a**3 - 64*a**2 - 23*a - 6. Let s be b(-21). Let l be 43/((-258)/s) + (-1 - -1). Do -6 and l have different values?
False
Suppose 9*s - 5*s = 52. Let a = s + -26. Suppose 26*h - 91 + 481 = 0. Is h > a?
False
Let h = 0.06544 - 1.06544. Is h not equal to -171.8?
True
Let m(a) = -4*a - 21. Let x(w) = -w - 1. Let u(b) = m(b) - 3*x(b). Let p be u(-16). Let g be ((-25)/10)/(0 + p). Is g less than 2?
True
Let o = -1039012435381/583365930 + 583943/132734. Let f = o + 5330/3. Which is smaller: -1 or f?
-1
Suppose 0 = 2*g + 3*g - 665. Let z(c) = 81*c**2 + 812*c + 152. Let k be z(-10). Is g at least as big as k?
True
Let c = 54.756 + 0.244. Let 