: q or 1?
1
Let z(y) = -y**2 + 4*y + 52. Let u be z(11). Let j be u/(-15)*(-13)/((-455)/(-58)). Which is smaller: -3 or j?
-3
Let m = -431 + 426. Let g(n) = 6*n**2 + 42*n - 1. Let a be g(-7). Which is smaller: a or m?
m
Let j = 56 - 279/5. Suppose 0 = -5*g + 5*v + 15, -15*g - 7 = -16*g + 3*v. Is g not equal to j?
True
Let q(t) = -t + 24. Let o be q(5). Suppose 9*x + 65 = 263. Which is greater: x or o?
x
Suppose -10209*a + 10123*a = 0. Is a > -89/99?
True
Let s = -222256 - -8444985/38. Are s and -21 nonequal?
True
Let t be 256/(-1353) - 4/(-22). Let y = -1/369 + t. Which is smaller: y or 1?
y
Let i = -26654 + 2931927/110. Is i bigger than 0?
False
Let m(c) = c**2 + 10*c + 16. Let q be m(-2). Suppose 16*z - 26 - 38 = q. Is z not equal to 38?
True
Let j(f) = -f**3 + 10*f**2 + 18*f - 47. Let s be j(6). Suppose 6*h + 185 = -s. Are -67 and h equal?
False
Let n be 0/(-99) - (-130)/1. Let f be n*(3 - 5/(150/78)). Which is greater: -4 or f?
f
Suppose -5320*u + 5272*u - 7008 = 0. Is -1167/8 less than or equal to u?
False
Let i be (225/(-978))/(15/20). Which is smaller: 1 or i?
i
Let o be (1 - 0)*5/(20/16). Let n be (-18)/(2 + o) - (-142)/(-24). Let q = n + 49/6. Which is bigger: 0 or q?
0
Let v = 8086.6 + -8521. Which is smaller: -1 or v?
v
Let x be (6 - 7)*4*(-29853)/6. Is x >= 19903?
False
Let u(n) = -9*n - 61. Let h be u(-8). Let g = -79 + h. Which is greater: -66 or g?
-66
Suppose 4*i + 15 = 7*i + 5*v, 2*i = -3*v + 9. Suppose i = -5*w - 5*d + 80, 2*w + 3*d - 65 = -2*w. Let b be (-1 - (0 - -1))*(12 - w). Is 8 not equal to b?
True
Let d(r) = r**3 + 5*r**2 + 3*r - 1. Let o be d(-2). Suppose -5*w - 13 + 28 = 0, 0 = -o*g + w - 68. Is -64/5 < g?
False
Let h = 216 - 3644. Which is bigger: h or -3427?
-3427
Let g = -350.209 + 353. Is g less than or equal to 1?
False
Suppose -20*m - 91104 = 40*m + 13*m. Which is smaller: -1246 or m?
m
Suppose 4*c + t + 128 = 13*t, 0 = -4*t - 4. Is -447/13 smaller than c?
False
Suppose 113*v - 28 = 99*v. Suppose -2*y = -v*u - 0*u + 72, 2*u = 7*y + 227. Which is greater: -38 or y?
y
Suppose 0 = -m + 5, -4*m + 19 = 2*g - 5. Let x be (-2 + 0)*(42/(-4))/(-7). Let o be (x - -1) + -2 - (-164)/34. Do o and g have different values?
True
Let c be (1 + -4)/(98*((-90)/10 - -8)). Let t be (5/10)/((-2)/(-4)). Is c equal to t?
False
Suppose 12 = -7*z + 5*z. Which is bigger: -218/43 or z?
-218/43
Suppose -64 = -z - 3*z. Let a be z/7 - (-3)/(-42)*4. Let g be (a/(-6) + 1)/((-8)/12). Are -5/7 and g equal?
False
Let s be 1/(-4) - ((-305)/20 - -2). Let r = -13 + s. Suppose r = 42*u - 43*u. Is 4/11 less than u?
False
Let x(z) = z + 77 - 49 - 52. Let q be x(8). Let w be q/(-42) - (-6)/(-9). Is w less than or equal to 0.27?
True
Let k be 0 - -1 - 51/(-6). Let y(q) = q**3 + 4*q**2 - 5*q - 3. Let u be y(0). Let o be (-4)/u*(-528)/(-64). Which is smaller: k or o?
k
Suppose -70*f + 358 = -132. Let g be (14 - 17)*(-25)/f. Is g >= 11?
False
Let c = 7153 - 6717. Do 442 and c have different values?
True
Let m be (-695)/417*12/(-4595). Is m != 1?
True
Let u be (2/(-14))/(27/18*20/(-42)). Let s = 38 - 55. Is s greater than or equal to u?
False
Let y = 6582138/115 - 57236. Let x(o) = o**3 - 4*o**2 - 5*o + 1. Let p be x(5). Do p and y have different values?
True
Let q(r) = -r**2 - 6*r - 3. Let h be q(-4). Suppose h*t + 469 = -8*w + 4*w, -2*t - 466 = 4*w. Which is bigger: -117 or w?
w
Suppose -9*q + 2689 - 358 = 0. Let p = 1297/5 - q. Is -2/25 > p?
False
Let o = -295 - -297. Suppose 0 = -4*m + 3*y - 17, 4 = -o*y + 10. Which is smaller: m or -13/25?
m
Let v = 77 + -78. Let h = -0.7 - v. Let i = -0.187 - 0.063. Is i less than or equal to h?
True
Let j = 7119 - 7119. Which is smaller: j or -42/47?
-42/47
Let o be 6/(-24)*-6*(-8)/6. Let l be (-21*16/60)/(o/25). Which is smaller: 139/2 or l?
139/2
Suppose -u + 17 = 6*x - 2*x, 0 = u - x - 2. Let n be (-30314)/70 - (7 - u). Let k = -435 - n. Which is smaller: 1 or k?
k
Suppose -3*x + 3*y - 8*y + 38 = 0, -3*x + 26 = 2*y. Suppose -x*f + 416 = -310. Which is smaller: f or 122?
f
Let w = 903/59 - -11971/1180. Is w bigger than 26?
False
Let j = -941 + 1473. Let b = -532 + j. Is -1/390 > b?
False
Let q = -186 + 389/2. Let z(h) = -h**3 - 5*h**2 + 13*h + 3. Let y = 25 - 32. Let o be z(y). Which is smaller: q or o?
q
Suppose 2*o - 5*c + 54 = 6*o, 56 = 4*o + 4*c. Suppose 0 = 5*w + 3*l + 2 - 14, -3*w + 4*l - o = 0. Suppose w*y + y - 1 = 0. Is y <= -9?
False
Let l be 111*8/(-3180)*-5. Let m = l + -12443/371. Let n = m + 32. Is 2/9 not equal to n?
True
Let v = -85 + 44. Let a = 80 + -122. Does a = v?
False
Let d = -3/47261 - 180839/129258835. Which is smaller: 1 or d?
d
Let c = -7414 + 7413. Which is smaller: c or -51/428?
c
Let m(s) = -s**3 - s**2 + 16*s + 22. Let r be m(-4). Let l be ((-3060)/21)/(-2)*r/(-12). Is -35 <= l?
False
Suppose -3*g = -2*w - 52, 0*w - g = 3*w + 56. Let z be w/(-172)*51 - 6. Is z at most 0?
True
Let h be 4/5 - 1064/(-15)*-3. Let f = h - -2754/13. Let p be (-5 - -1 - -1) + -2. Is f > p?
True
Suppose -105*i - 22*i = 21*i - 44844. Which is greater: 297 or i?
i
Let t be (-1)/(1 - (-8)/(-12)). Let y be (1/t)/((-6)/(-18)). Let q = y + -3. Are q and -4 non-equal?
False
Suppose 0 = -13*u + 20*u + 14. Let i = -5/14 + 61/63. Let g = i + -301/198. Is g less than or equal to u?
False
Let r be 6/(-63) + 685/63 + (-38)/(-171). Are r and -4 unequal?
True
Suppose 3*w + 5337 = -7479. Do -4272 and w have the same value?
True
Let s(u) = -6*u**3 + 14*u**2 + 7*u + 1. Let h be s(-4). Is h less than 578?
False
Suppose 0 = 17*u - 11*u - 18336. Suppose 0 = -6*y + u - 800. Suppose 47 - y = -7*c. Is 93/2 greater than c?
False
Suppose 16 = 10*u - 4. Suppose 4 = 4*o, 3*o - 3 - 4 = -u*g. Does 0 = g?
False
Let t = 0.299 + 0.011. Let j = -0.0159 - -7.7059. Let g = t + j. Which is greater: g or -3?
g
Suppose 0 = 8072*i - 8093*i. Is i < -12/175?
False
Suppose 3*d - 34 = -4*n - 42, 5*n + 13 = -3*d. Let v be -1 - ((-4)/(-6) - 1). Which is smaller: d or v?
v
Let f be (-28)/6*(-2)/3. Let r be (-15 + 12)*(-1074)/(-9). Let k = r + 362. Which is bigger: k or f?
k
Suppose 6203 = 5*n - 2*h, -3*n - 740*h + 743*h = -3729. Is n at least 1241?
False
Let g = 319053/13 - 24561. Which is smaller: g or -19?
-19
Let q be (-10)/(-12) + (-65106)/108. Let a be ((-60)/35)/(q/196). Does a = 1?
False
Let t = 9.69 - 10.8. Let p = 0.11 + t. Let w = -1 - 7. Is w bigger than p?
False
Let b(l) = -3*l + 3. Suppose -4*u - u - 4*s = -21, -2*u - 5*s = -22. Let n be b(u). Let d be ((-4)/5)/(n + 2). Is d at least -4/5?
True
Let s be ((-159)/10335)/(11 + 0). Is s at least as big as -1?
True
Let x = -10.24 - -0.24. Let z = -270 - -270.1. Which is smaller: z or x?
x
Let r(w) = -9*w**2 + 13*w - 44. Let o be r(-15). Let p = o - -455062/201. Is 0 equal to p?
False
Let b = 33.547 - 33.597. Is b smaller than 1/864?
True
Let h be ((-2)/5)/((-1)/((-615)/12)). Let l(g) = 7*g - 3. Let i be l(1). Suppose -18 - i = u. Is u not equal to h?
True
Let j(l) = -5*l - 6. Let v be j(-10). Let n = v - 31. Suppose -n*x + 10*x = 0. Is -4/19 < x?
True
Let o be (2/6)/(26 + 30381/(-936)). Which is smaller: 10 or o?
o
Let d = 22.1 + -23. Let x = d + -0.1. Suppose -1316*f = -328*f - 3952. Which is smaller: x or f?
x
Suppose -5*z = -16*a + 11*a - 2175, -2179 = -5*z + a. Is z > 431?
True
Let y(g) = 5*g - 2. Let q be y(-7). Let o = 566 - 522. Let s = o + q. Is 7 > s?
False
Suppose 0 = -1482*f + 1502*f + 28860. Is f at most as big as -1443?
True
Let n = 23.2186 + -0.7186. Which is greater: n or 1.2?
n
Let b be (-2 + 6)/((-558)/15). Which is smaller: b or -1?
-1
Let p = -17.315 + 2.315. Is p < -39/8?
True
Let u = 16260 + -16260.04. Is u equal to 483/11?
False
Suppose 0 = -3*v - 14*v - 595. Let x(j) = 4*j + 164. Let g be x(v). Which is smaller: -1/3 or g?
-1/3
Suppose 27 + 5 = 8*t. Suppose -3*y - 5*l + 10 = 2, 5*l - 36 = t*y. Do 6 and y have the same value?
False
Let o be (-4)/30 - (104/60)/(-13). Suppose o = -m - 0*m - 0*m. Let s be ((-18)/(-96))/(33/(-2)). Is m smaller than s?
False
Let d be 6/(-9)*45/30. Let v be d/5*1303 - (-104)/(-260). Is v greater than -260?
False
Let y = 32994 - 32649. Which is bigger: 325 or y?
y
Let c be ((-46682)/5190 - -9)*72/(-8). Is c smaller than 0?
True
Suppose 5*u - 16 = 22 - 33. Which is smaller: u or -3/1759?
-3/1759
Let m = 1439.8 + -1439.8. Let g = 2.2 - 2.118. Is 