qual?
True
Let o be (-8)/136 + 3801/(-119). Let h be (-816)/27 + 2/9. Which is smaller: h or o?
o
Let p = -135 + 555. Let d = p + -420. Which is bigger: -147 or d?
d
Let z be (-162)/140 - (-357)/1666. Which is smaller: z or 0?
z
Let j be 202/5 - 4/10. Let a be ((-4)/j)/(8/(-20)). Is -54/13 equal to a?
False
Let m = -17196 + 42732066/2485. Which is smaller: m or -1?
-1
Suppose -15*x + 1960 = -11945. Do x and 927 have the same value?
True
Let i(p) = -p**3 + 4*p**2 - 1. Let q be i(4). Let o be 3/(-2)*(320/24)/10. Let k be (o/(-3))/(-5*10/75). Is q bigger than k?
False
Let i = -6844 + 6848. Let d = -1 + 1. Suppose d = i*f + 3 - 11. Is f < 34?
True
Let d be 96064/16*(-9 - 153/(-18)). Which is smaller: -3001 or d?
d
Suppose 0 = 8*q - 11*q - 3*p - 2502, 3337 = -4*q - 5*p. Let b be (-4)/7 - 1309/q. Which is bigger: -2/23 or b?
b
Let b = -188 - -207. Suppose -b*a = -11*a. Do a and -12 have different values?
True
Let c = -3011/12 + 764/3. Let j = 0.7 + -0.5. Which is greater: j or c?
c
Let v be 54/4*(-520)/(-780). Let a be ((-2)/(-12))/(2/117). Which is greater: v or a?
a
Let m(a) = -a**2 - 9*a - 12. Let j be m(-8). Let x be ((-3)/j)/((-1)/(-4)). Suppose 22 + 26 = 3*h + x*b, 2*b + 82 = 4*h. Which is smaller: h or 18?
18
Let u be 37275/147 + 6/14. Let x = 3299/13 - u. Suppose 5*g + 12 = 7. Which is smaller: x or g?
g
Let y be (-4 - -1)*-1 - 4/4. Let k be (y/(-7 + 6))/(1/10). Let q be -18 - (-2 + (-1 - -3)). Are q and k unequal?
True
Let x be 1 - 0 - 299 - -1. Which is greater: x or -298?
x
Suppose -75*g + 124*g = -108*g + 5172993. Are 32950 and g equal?
False
Let r be (-7)/(-14) + 50*(-5)/12. Let i = -20 - r. Which is bigger: i or 0.005?
i
Let c = 6 + -2. Let j = c - 5. Let x be 2/(-3)*14859/(-254). Is x at least j?
True
Let x be (6/(-15))/((-4)/(-20)). Let k be -2 + ((-1)/(-5))/(x/(-10)). Let t be 1 + (0 - 20/22). Is k not equal to t?
True
Suppose -2*o + 616 + 1842 = -4*w, w + 592 = -4*o. Which is bigger: -609 or w?
-609
Let y = 4 + -14. Let w = 4 + y. Suppose -75*v - 24*v + 0 - 297 = 0. Which is bigger: w or v?
v
Let u(r) = -r**3 + 19*r**2 - 33*r + 39. Let k be u(17). Let l = -278/5 + k. Is l >= 42?
False
Let a = -10 + 10. Let q be (-4)/(7 + -6) + 3 + a. Let f = 1/11 + -15/44. Do f and q have different values?
True
Let f(j) = -8*j**2 + 21*j + 22. Let i be f(-1). Let x(u) = -7*u**2 - 48*u + 8. Let h be x(i). Let l = -4420/7 + 633. Is h > l?
False
Suppose -23*o = 30*o. Let u(i) = i + 2. Let s be u(13). Suppose -y + 3*x - 4*x - 3 = o, 0 = 2*y - 5*x - s. Which is bigger: y or 2?
2
Let o = -3546/35681 - -3/1151. Let k = 7.93 + 0.07. Let i = k - 7.9. Which is smaller: i or o?
o
Let b = -40491 - -40480. Is -373/38 smaller than b?
False
Let p = -0.342 - -0.242. Let l = -0.08 - 3.92. Let d = l - -6. Which is smaller: p or d?
p
Let w be 14 + 1 + (11 - 14). Suppose -7*u + 420 = -w*u. Are -84 and u non-equal?
False
Suppose -20*c + 19*c + 14*d + 9 = 0, 2*d = -4*c - 138. Is -348/11 smaller than c?
False
Suppose 0 = -y - 0*y. Let m = 183 + -118. Suppose m*c + 4 = 61*c. Which is smaller: y or c?
c
Suppose 0 = -3*q, -z + 4*q = 3 + 13. Let d be -1*-4*(-20)/z. Do 4 and d have different values?
True
Let x be (16/(-5))/(53/3180). Let h = -119 - x. Is h at least as big as 359/5?
True
Let k = 123623/204 + -606. Let z be 2*(-9)/(-6) - 10/(1020/297). Let w = k + z. Which is smaller: w or 0?
0
Suppose -5*f = -4*z + 59, -3*f - 28 = -2*z + f. Let p = z + -4. Let v be 0/((-91)/7)*(-29 - -30). Is p >= v?
True
Let x be (-132825)/(-245) - ((-8)/(-4) + 3). Is 538 less than or equal to x?
False
Suppose -6419*l + 1705 + 1658 = -6476*l. Let o = -2.2 - -2. Which is greater: l or o?
o
Suppose -324*u - 2303 = -335*u + 1404. Which is bigger: 346 or u?
346
Let g(c) = 254*c + 324. Let j be g(-25). Which is smaller: -6025 or j?
j
Suppose 0 = -6*g + 28 - 4. Suppose 42 = -3*w - g*a - 13, 0 = -5*a + 25. Let x(f) = -3*f - 2. Let y be x(8). Which is smaller: y or w?
y
Suppose g + 30 = 5*l, 3*l - 4*g - 5 = 6*l. Suppose -o = -o - l*o. Suppose -2*j - 11 - 2 = i, j - 3*i - 4 = o. Is -1 >= j?
True
Let a(c) = 4*c**3 - 110*c**2 + 40*c - 9. Let r be a(27). Let u be (-270)/r*(-6)/10. Which is smaller: -1 or u?
-1
Suppose -34*y = -x - 37*y - 21, 2*x - y - 7 = 0. Which is smaller: x or -186/329?
-186/329
Let v be -5 - (-436)/8 - 20/8. Let h = v - 54. Is h less than -6?
True
Let b = 89/44 - 8991/4532. Let t = 46546 + -46546. Which is greater: b or t?
b
Let p be -3 + -2*(-6)/3. Let k = -99 + 126. Let b = -107/4 + k. Which is smaller: b or p?
b
Let z be (-4731)/(-171) - 1/(-3). Let o(c) = 3*c**2 - 79*c - 19. Let m be o(z). Is 120 less than m?
True
Let b be 80/140 - 61118/14. Is b less than or equal to 1?
True
Suppose 2*p + 4*r + 2 = 9*r, 5*p + 5 = 2*r. Suppose -2*v = -14 + 4. Let k be (-14)/((p/(-5))/((-2)/v)). Is k < 27?
False
Let i be 9/(216/(-40))*252. Is i bigger than -418?
False
Let j = -2/1427 + -4273/5708. Which is bigger: -25 or j?
j
Suppose 4*g - 14*p - 72 = -18*p, -p - 5 = 0. Suppose 0 = -z + 15 - g. Is -8 >= z?
True
Suppose -2*t + 18 - 10 = 0. Suppose -5*o - 4*h + 10 = h, t*o - 2*h + 16 = 0. Let l be o - (-4 + 18/(-1)). Do 21 and l have the same value?
False
Let d(r) = 7*r + 93. Let f be d(-13). Suppose -y - 2*y = z - 2, f*y - 4*z = -22. Which is smaller: y or -4/31?
y
Let o(v) = v**2 + 12*v + 17. Let z be o(-10). Let h be 2 - 4/(-12)*z. Suppose -3*l - 3*r = 12, -3*l + l - r = 7. Is h > l?
True
Suppose 463 = -38*v + 2477. Which is smaller: v or -0.02?
-0.02
Let n be 789/(-10) + (-10)/(-20). Is n > -78?
False
Let w = 237 - 5894. Is w >= -5658?
True
Suppose 5*h + 58 = 3*h. Let b be 2/(h + 26 - (-4)/(-10)). Which is smaller: b or -1?
-1
Let u = 31394 - 31427. Let m = -329/8 + 41. Is m > u?
True
Suppose -b + 18 = b. Let y be ((-16)/(-10))/(4/(-10)). Let m be ((-24)/30 - 89/70)*y. Which is smaller: m or b?
m
Suppose 1188 = 203*h - 236*h. Is h at least 67?
False
Let w = 5/33564 + -42850045/33564. Which is smaller: w or -1277?
-1277
Let j = 701 + -275. Which is greater: 427 or j?
427
Suppose -2*z + 2*x = 5*x + 5, -5*x - 2 = -3*z. Let l be (67/((-4339590)/(-153)))/(3/5 + (-2)/10). Is z bigger than l?
False
Let p = 33076/9 - 366912062/99837. Which is bigger: p or 0?
p
Let i = -4.1 - -5. Let y = i + -0.89. Let h = 0.22 - 0.32. Which is smaller: h or y?
h
Let l(a) = -2*a**2 - 146*a + 612. Let i be l(4). Is 16 < i?
False
Let n = 139/3 - 47. Let c be (-340)/1534 + (-8)/(-52). Let r = c + -51/118. Is n at least as big as r?
False
Let m(p) = -354*p - 1417. Let a be m(-4). Which is smaller: a or 14/1147?
a
Let k be (-32)/14 - -2 - 4004/3822. Let w = -2.01 - -0.01. Is w not equal to k?
True
Suppose -12*h + 8*h - 30 = -h. Let f = -41988 - -294760/7. Let z = f - 3691/28. Is z smaller than h?
True
Let u = 1026359 - 117002689/114. Let g = 27/38 + u. Suppose -6*x + 105 = -x. Which is bigger: g or x?
x
Let f be ((39620/(-63))/5)/(1/(-3)). Let k = f + -379. Let z = -0.1 + 0.1. Which is bigger: k or z?
z
Let y be (69/24 - -5)/(48/1216). Suppose -2*h = -4*h + 398. Is h smaller than y?
True
Let c be 1 - ((-36120)/31671)/(-1). Let b = c - 3/391. Let s be (-4 - (5 + -4)) + (-35 - -41). Is s less than b?
False
Suppose -1618*j = -1632*j - 154. Let x(h) be the first derivative of -h**4/4 - 10*h**3/3 + 6*h**2 + 6*h - 1. Let z be x(j). Which is bigger: 0 or z?
0
Suppose 184*w + 33353 = 20812 - 23707. Is w at most as big as -191?
True
Let z(r) = -4*r + 5. Let n be z(-1). Let i = -2.8 + -9.2. Let g = i - -12.1. Which is smaller: n or g?
g
Let r = -3 - -7. Let y = -3 + r. Let f = 261 - 8873/34. Are f and y nonequal?
True
Let c(l) = -49*l + 145. Let d be c(32). Let t be (12 - 17) + 3/(-855)*d. Which is smaller: -1 or t?
-1
Suppose 21*t - 22*t - 467 = -3*r, -2*r = 2*t - 306. Is r at most as big as 154?
False
Suppose 75 = 2*p + 5*o - 196, 4*p - o - 531 = 0. Let f = p + -308. Which is bigger: f or -176?
f
Suppose 228*s + 63197 = 3917. Which is smaller: -3378/13 or s?
s
Let p = -1329 - -110309/83. Is -3 less than p?
True
Let j(f) = f**3 - 9*f**2 - 54*f + 25. Let n be j(13). Which is bigger: 7/176 or n?
7/176
Let b be ((-3521)/273 - -11)/((-6)/9). Is b != 0?
True
Let a be 462/66 - 14*1 - 9/(-1). Which is greater: 1885 or a?
1885
Suppose 552 = 3*r - 3*u, 8*u - 736 = -4*r + 11*u. Is 219 equal to r?
False
Let z = -130.883 + 131. Let c = z + -