43509/5895 - -33031/5. Which is smaller: z or -1?
-1
Suppose -6 + 31 = -5*i, j - 3*i - 16 = 0. Which is greater: -33/134 or j?
j
Suppose -4270*s = -4287*s + 425. Which is greater: s or 906/35?
906/35
Let u be 4/72 + (-4495)/558. Let x(z) = -z - 4. Let k be x(0). Let d = k - u. Which is greater: -2 or d?
d
Let v = -187.7 - -188. Which is greater: v or -4.92?
v
Suppose 3*c - 4 = 4*p, 3*p - 21 - 5 = -5*c. Let i be (22 - 1)/7 - c. Is -4/193 at most as big as i?
False
Let r = -111715/3102 - -947/94. Which is smaller: -25 or r?
r
Let t be 0/(-20) + (103*8)/(-2). Let s = t - -409. Suppose 0 = 5*z + 10 - 0. Which is greater: s or z?
z
Let i be -24 - (7 - 5 - 13). Which is greater: i or 13?
13
Let o be 0 - (-2 - (3 + 4 + -7)). Let u be (1 + o)/(12/(-568)). Which is smaller: -141 or u?
u
Let h(b) = -21*b + 401. Let z be h(19). Suppose 128 = 5*s - a, a + 28 = s + 2*a. Suppose 2*n + s = -z. Are -13 and n non-equal?
True
Let v be (-3 + 53/2)*-2. Let m = v + 35. Let p be (-30)/m - 142/52. Which is smaller: 1 or p?
p
Let c be (-1 + 12)/(-9 - (-4 + -4)). Let v be (c/2 + 5*1)*0. Which is greater: 7/25 or v?
7/25
Suppose -3*x = 5*b - 338, -b - 19*x = -16*x - 58. Is 75 <= b?
False
Suppose -1489*t - 6336 = -1467*t. Which is bigger: t or -4?
-4
Let w = -6688 + 60292/9. Which is greater: w or -0.01?
w
Let x(v) = 6*v - 5. Let p be x(7). Let h = 180 + -151. Let r = h - p. Is r less than or equal to -10?
False
Let x be 1 - (0 - (-15)/(7 + -2)). Let z be (-2)/(-4)*(4 + 8/x). Let f be 1/(-2)*4/(-110). Is f not equal to z?
True
Let h be (40/12)/(10/885). Suppose -h = 5*p + 665. Is -193 != p?
True
Let y = 75 + -51. Suppose l - 4*b = 36 + y, 0 = 2*b. Suppose 214 = -2*n + l. Does n = -77?
True
Suppose 111*b - 5*c = 115*b + 2909, c - 3600 = 5*b. Is b > -719?
False
Let g be 92336/(-23258) + (2 - -2). Which is smaller: 1 or g?
g
Let p = 5594572615519/60058180 - 8/3002909. Let m = p - 93185. Let k = m + 133/4. Is k less than or equal to 0?
False
Suppose -118*f = 41*f. Which is smaller: -2/38811 or f?
-2/38811
Suppose -205*v + 56 = -198*v. Suppose v = 4*t + s, 2 = -t - s + 7. Is -2/95 less than or equal to t?
True
Let u(n) = n - 2. Let v be u(2). Suppose -45*x + 222 = 87. Which is greater: x or v?
x
Let o = 43089 + -1335762/31. Is o less than 0?
True
Let j = -6436 + 7587. Is 1155 <= j?
False
Let o = -972 + 976. Suppose -9*a + 6*a + o = 4*n, -2*n = 4*a - 2. Let u = 1/227 - 461/1589. Is n <= u?
False
Let a = -66762 + 1937050/29. Which is greater: a or 32?
a
Let s = -3 - -2.3. Let v = -759 - -15934/21. Let o = -3/7 + v. Which is bigger: s or o?
o
Suppose -5*y - 8*y - 13*y = 0. Which is greater: 1/657 or y?
1/657
Let p = -0.0002 + 0.0002. Which is greater: p or 135?
135
Let h(n) = -4*n**2 + 7*n + 4. Let r be h(2). Let x(f) = -21*f**3 + 2*f**2 - 4. Let o be x(r). Are o and -165 non-equal?
True
Let u = 57213 - 383727587/6707. Is -1 at most u?
True
Let q = 2.98 + 500.02. Let c = q - 628. Is 2/7 < c?
False
Let j = -190634/5 + 38279. Let i = j - 152. Which is smaller: i or 17?
i
Suppose 3*p = -733 + 202. Let q = p - -264. Suppose -r + 99 = 4*h, 1727*r - 5*h - 159 = 1725*r. Is r smaller than q?
False
Let z = 35.2 + -36. Let v = -9.4 + 10. Let y = z + v. Is y at most 0.11?
True
Let r be (7 - 2585/215) + 4 + 1. Let q(i) = -i**3 + 6*i**2 + 8*i - 8. Let m be q(7). Is r != m?
True
Let z be (-1)/(10/36) + 512/(-32) + 20. Let b = 2.4 + -2. Let q = b + -0.4. Which is bigger: z or q?
z
Let z = -1943.1 - -2037. Let t = z - 100.9. Let c = 4.9 + 0.1. Which is bigger: c or t?
c
Suppose 0 = -129*l + 159*l. Is l smaller than -8/1267?
False
Let j be 136/(-4 + 12)*-8. Let b be (j/(-24))/(7/105). Is 84 at most as big as b?
True
Let y = -4168 - -229249/55. Which is greater: -0.3 or y?
y
Let r = -35 + 50. Let z = -832 - -1691/2. Which is smaller: r or z?
z
Let g = 0.0428 - 397.0428. Let v = -415 - g. Is -3/16 < v?
False
Let l = 0.025 + -78.025. Let u = -111 - l. Let w = u + 34. Which is bigger: w or -0.017?
w
Suppose -3*w = -4*w - 4*x - 3, 0 = -5*w - 5*x. Let t(n) = -2*n**2 + 24*n + 25. Let a be t(13). Let l be 2 + a - ((-114)/42 - -4). Which is greater: l or w?
w
Let b = 69 + -38. Let l = b - 33. Let o = -49/57 + 10/19. Which is smaller: o or l?
l
Let b(f) = 20*f**2 - 80*f + 252. Let d be b(3). Is d != 191?
True
Let j(k) = -13*k**2 - k**3 + 2 + 9 + 5*k**2 + 10*k + 0*k**3. Let o be j(-9). Let r be ((-1)/o + -2)*(3 + -5). Do r and 60/11 have different values?
True
Let k(n) = 3*n**2 + 3*n + 2. Let w(t) = 6*t**2 + 7*t + 5. Let v(d) = 5*k(d) - 2*w(d). Let i be v(-1). Let f be 221/(-52) + (-1)/8*-2. Is i at most as big as f?
False
Suppose -9*d - 51 = 42*d. Which is smaller: d or -7/1102?
d
Suppose -16*t - 156 = -20*t. Let n = t - 43. Let j(x) = x**2 + 5*x - 1. Let z be j(n). Which is greater: 2 or z?
2
Let s(h) = -h**2 - 14*h + 177. Let z be s(8). Is 4/1417 less than z?
True
Suppose -4491 - 11656 = 17*s - 3788. Which is bigger: -5823/8 or s?
s
Let n be (-21)/(-14)*(2 - -10). Suppose n*v - 65 = 5*v. Suppose -5*q + 20 = v*j, -5*j + j + 12 = 0. Is q < 2/73?
False
Let s = -8069 + 1843. Which is greater: -6227 or s?
s
Let t(x) = 5*x**2 - 50*x - 5. Let m be t(10). Let o be (-2)/(-12) + m + 213/18. Suppose 2*n + 24 = 6*n. Are o and n equal?
False
Suppose 163*u + r = 161*u - 2, 0 = -3*u + 3*r + 6. Let p = 16698/53 - 315. Are u and p equal?
False
Let y = -64.9 - 9.1. Let r = -42 + 83/2. Is r < y?
False
Suppose -u = -17*u + 224. Suppose -u*l = -6*l + 952. Which is bigger: -120 or l?
l
Let x be (-291)/(-12) + -4 - (-14)/(-56). Are x and 90/11 equal?
False
Let l = 141 + -692.3. Let v = l + 566. Is -0.1 greater than or equal to v?
False
Suppose 0 = 2*m + f - 27, 9*f - 4*f = 2*m - 57. Let g(i) = -12*i + 187. Let a be g(m). Is -39/7 less than or equal to a?
True
Let n = -5312 + 5312.22. Which is bigger: n or 0?
n
Let q(t) = -114*t**2 - 73*t + 328. Let j be q(4). Is -1788 bigger than j?
False
Suppose t + t - 54 = 0. Let g be (72/t)/((-1)/(-33)). Let n = g - 42. Are n and 45 nonequal?
True
Let n(l) = -l**3 - 3*l**2 + 6*l + 8. Let t be n(-4). Let d be (-3 + 1)*(t/(-3) - 2). Suppose -d*o = -7*o + 102. Is o != 34?
False
Suppose 12*o = 10*o - 88. Let m be 198/4*o/(-66). Suppose -3*v = 5*r + v - 72, -5*v - m = -4*r. Is 12 at most r?
True
Let w = 229 + -222. Let q be 1 + w/(-6) - 1073/222. Suppose 0 = 5*m + 3 + 17. Does m = q?
False
Let m = 279399/328 - 852. Is m <= 1?
True
Let f = -51.61 + 51.65. Are f and 197 unequal?
True
Suppose -6*b = -11*b + 1650. Let h = b - 293. Which is smaller: 41 or h?
h
Let w be (-1)/(-3) + ((-656)/936)/2. Suppose 0 = -m + 1157 - 1156. Are m and w unequal?
True
Let x(l) = -l**3 + l + 2. Let t be x(0). Suppose -45 = -j - t*j. Let z be 3/j*5*(-6)/(-11). Is 1 at most as big as z?
False
Let w = 44 + -38. Suppose 4*z - 80 = w*z. Let x be z/(-3) + 6/9. Is x < 13?
False
Suppose 49*y = 52*y - 387. Suppose -2 = i, -221 = -5*w - 5*i + 409. Let l = w - y. Which is bigger: l or 2/447?
2/447
Suppose 4*x + 141 = 237. Suppose x = 4*c + 24. Is 0.043 at least as big as c?
True
Let l = 0 + 0. Let v be ((-152)/(-95) + 2)*30/261. Is v smaller than l?
False
Let k(o) = 7*o**2 + 15*o - 17. Let s be k(-12). Suppose -19*n - s = -203. Is -2/3 <= n?
False
Let r be 0 + (-16)/20 - (-9468)/30. Let d = r - 315. Is d < 11?
True
Let r be (2/5)/((-2)/(-2455)). Let v = r - 422. Which is greater: v or 3/2?
v
Let t be ((-10)/(-15))/((-2)/(-6) - 0). Suppose -t = -i - 0. Let m be 3 - (-1 + (-1)/3 + i). Which is smaller: 2 or m?
2
Suppose 3*y = 5*y - 50. Let n = -14 - 2. Let t = 17 + n. Which is smaller: y or t?
t
Let x = -17 + 17. Let r = 7312 + -109921/15. Let d = r - -47/3. Which is greater: d or x?
x
Let g be (15 - 14)/((-4)/(-48)). Let u be g/(-22) - 277452/(-462). Which is bigger: u or 599?
u
Let s = -78/11 - -4536/649. Let b = 49 + -49. Is s at most as big as b?
True
Suppose 17*k + 45 = -40. Let u be (1/(-6))/(k + 224/48). Is 84 != u?
True
Let y(x) = 17*x + 11. Let s be y(-49). Let n = s - -820. Is n at most -45/23?
True
Suppose -2*p - 3*p - 3*q - 77 = 0, 5*p - 2*q + 57 = 0. Let l = -17 - p. Let s be l - -2 - -3 - -20. Is s not equal to 20?
True
Let j = 56.73 + -100.73. Which is smaller: 0.3 or j?
j
Suppose 329*f - 118*f + 28254 = 10530. Are f and -58 nonequal?
True
Let c = -2/263 + 1074/2893. Let v = -495 + 569. Let f = v - 74. Does 